ci: remove some elements from the blacklist

CoqOfRust/blacklist.txt

@@ -52,7 +52,6 @@ examples/default/examples/conversion/try_from_and_try_into.v
 examples/default/examples/custom_types/constants.v
 examples/default/examples/custom_types/enums_c_like.v
 examples/default/examples/custom_types/enums_testcase_linked_list.v
-examples/default/examples/custom_types/enums.v
 examples/default/examples/custom_types/structures.v
 examples/default/examples/error_handling/aliases_for_result.v
 examples/default/examples/error_handling/boxing_errors.v
@@ -82,39 +81,22 @@ examples/default/examples/error_handling/unpacking_options_and_defaults_via_or_e
 examples/default/examples/error_handling/unpacking_options_and_defaults_via_or.v
 examples/default/examples/error_handling/unpacking_options_via_question_mark.v
 examples/default/examples/error_handling/wrapping_errors.v
-examples/default/examples/expressions/blocks.v
-examples/default/examples/expressions/const_underscore_expression.v
 examples/default/examples/flow_of_control/for_and_iterators_into_iter.v
 examples/default/examples/flow_of_control/for_and_iterators_iter_mut.v
 examples/default/examples/flow_of_control/for_and_iterators_iter.v
 examples/default/examples/flow_of_control/for_and_range_completely_inclusive.v
-examples/default/examples/flow_of_control/for_and_range_inclusive_to_exclusive.v
-examples/default/examples/flow_of_control/if_else.v
 examples/default/examples/flow_of_control/if_let_challenge.v
 examples/default/examples/flow_of_control/if_let_dont_use_match.v
 examples/default/examples/flow_of_control/if_let_match_enum_values.v
 examples/default/examples/flow_of_control/if_let.v
-examples/default/examples/flow_of_control/infinite_loop.v
 examples/default/examples/flow_of_control/loop_nesting_and_labels.v
 examples/default/examples/flow_of_control/loop_returning_from_loops.v
 examples/default/examples/flow_of_control/match_binding_destructure_enum_variants.v
-examples/default/examples/flow_of_control/match_binding.v
 examples/default/examples/flow_of_control/match_destructuring_arrays_slices.v
-examples/default/examples/flow_of_control/match_destructuring_enums.v
-examples/default/examples/flow_of_control/match_destructuring_pointers_ref.v
 examples/default/examples/flow_of_control/match_destructuring_structs.v
-examples/default/examples/flow_of_control/match_destructuring_tuples_fixed.v
-examples/default/examples/flow_of_control/match_destructuring_tuples.v
-examples/default/examples/flow_of_control/match_guards_unreachable.v
-examples/default/examples/flow_of_control/match_guards.v
-examples/default/examples/flow_of_control/match.v
-examples/default/examples/flow_of_control/while_let_match_is_weird.v
 examples/default/examples/flow_of_control/while_let.v
-examples/default/examples/flow_of_control/while.v
 examples/default/examples/functions/associated_functions_and_methods.v
 examples/default/examples/functions/diverging_functions_example_sum_odd_numbers.v
-examples/default/examples/functions/diverging_functions_no_info_in_return_type.v
-examples/default/examples/functions/diverging_functions.v
 examples/default/examples/functions/functions_closures_as_input_parameters.v
 examples/default/examples/functions/functions_closures_as_output_parameters.v
 examples/default/examples/functions/functions_closures_capturing.v
@@ -126,55 +108,43 @@ examples/default/examples/functions/functions_closures_input_functions.v
 examples/default/examples/functions/functions_closures_type_anonymity_define_and_use.v
 examples/default/examples/functions/functions_closures_type_anonymity_define.v
 examples/default/examples/functions/functions_closures.v
-examples/default/examples/functions/functions_order.v
 examples/default/examples/functions/functions.v
 examples/default/examples/functions/higher_order_functions.v
-examples/default/examples/generics/generics_associated_types_problem.v
 examples/default/examples/generics/generics_associated_types_solution.v
-examples/default/examples/generics/generics_bounds_test_case_empty_bounds.v
 examples/default/examples/generics/generics_bounds.v
 examples/default/examples/generics/generics_functions.v
 examples/default/examples/generics/generics_implementation.v
 examples/default/examples/generics/generics_multiple_bounds.v
 examples/default/examples/generics/generics_new_type_idiom_as_base_type.v
-examples/default/examples/generics/generics_new_type_idiom.v
 examples/default/examples/generics/generics_phantom_type_test_case_unit_clarification.v
 examples/default/examples/generics/generics_phantom_type.v
-examples/default/examples/generics/generics_where_clauses.v
 examples/default/examples/generics/generics.v
 examples/default/examples/guessing_game/guessing_game.v
 examples/default/examples/hello_world/formatted_print.v
-examples/default/examples/hello_world/hello_world.v
 examples/default/examples/macro_rules/macro_rules_designators.v
 examples/default/examples/macro_rules/macro_rules_repeat.v
 examples/default/examples/modules/struct_visibility.v
 examples/default/examples/modules/super_and_self.v
 examples/default/examples/modules/the_use_as_declaration.v
 examples/default/examples/modules/visibility.v
-examples/default/examples/monadic_transformation/example02.v
-examples/default/examples/monadic_transformation/example03.v
-examples/default/examples/monadic_transformation/example05.v
 examples/default/examples/primitives/arrays_and_slices.v
 examples/default/examples/primitives/literals_operators.v
 examples/default/examples/primitives/tuples.v
 examples/default/examples/scoping_rules/scoping_rules_borrowing_mutablity.v
 examples/default/examples/scoping_rules/scoping_rules_borrowing_the_ref_pattern.v
 examples/default/examples/scoping_rules/scoping_rules_borrowing.v
 examples/default/examples/scoping_rules/scoping_rules_lifetimes_bounds.v
-examples/default/examples/scoping_rules/scoping_rules_lifetimes_coercion.v
 examples/default/examples/scoping_rules/scoping_rules_lifetimes_reference_lifetime_static.v
 examples/default/examples/scoping_rules/scoping_rules_lifetimes_structs.v
 examples/default/examples/scoping_rules/scoping_rules_lifetimes_traits.v
 examples/default/examples/scoping_rules/scoping_rules_ownership_and_rules_mutablity.v
 examples/default/examples/scoping_rules/scoping_rules_ownership_and_rules_partial_moves.v
-examples/default/examples/scoping_rules/scoping_rules_raii.v
 examples/default/examples/std_library_types/arc.v
 examples/default/examples/std_library_types/box_stack_heap.v
 examples/default/examples/std_library_types/hash_map_alternate_or_custom_key_types.v
 examples/default/examples/std_library_types/hash_map_hash_set.v
 examples/default/examples/std_library_types/hash_map.v
 examples/default/examples/std_library_types/option.v
-examples/default/examples/std_library_types/panic.v
 examples/default/examples/std_library_types/rc.v
 examples/default/examples/std_library_types/result_chaining_with_question_mark.v
 examples/default/examples/std_library_types/result.v
@@ -200,20 +170,16 @@ examples/default/examples/std_misc/threads_test_case_map_reduce.v
 examples/default/examples/std_misc/threads.v
 examples/default/examples/subtle.v
 examples/default/examples/test0.v
-examples/default/examples/testing/documentation_testing.v
 examples/default/examples/traits/clone.v
 examples/default/examples/traits/derive.v
-examples/default/examples/traits/disambiguating_overlapping_traits.v
 examples/default/examples/traits/drop.v
 examples/default/examples/traits/hash.v
 examples/default/examples/traits/impl_trait_as_return_type.v
 examples/default/examples/traits/iterators.v
 examples/default/examples/traits/returning_traits_with_dyn.v
 examples/default/examples/traits/supertraits.v
 examples/default/examples/traits/traits.v
-examples/default/examples/types/aliasing.v
 examples/default/examples/types/casting.v
-examples/default/examples/types/inference.v
 examples/default/examples/types/literals.v
 examples/default/examples/unsafe_operations/calling_unsafe_functions.v
 examples/default/examples/unsafe_operations/inline_assembly_clobbered_registers.v
@@ -224,10 +190,6 @@ examples/default/examples/unsafe_operations/inline_assembly_inputs_and_outputs.v
 examples/default/examples/unsafe_operations/inline_assembly_symbol_operands_and_abi_clobbers.v
 examples/default/examples/unsafe_operations/raw_pointers.v
 examples/default/examples/variable_bindings/declare_first.v
-examples/default/examples/variable_bindings/mutability.v
-examples/default/examples/variable_bindings/scope.v
-examples/default/examples/variable_bindings/variable_bindings.v
-examples/default/examples/variable_bindings/variable_shadowing.v
 ink/
 ink/erc20.v
 ink/ink_e2e.v