@@ -105,13 +105,13 @@ fs.writeFileSync(OUTPUT_CRATE_SRC + '/lib.rs', root_mod);
105
105
// A list of [<module_name>, [<snippet_number>]] that are known not to be processed by hax
106
106
let cargo_hax_denylist = [
107
107
[ 'error_iter_result' , [ 3 ] ] ,
108
- [ 'error_multiple_error_types_boxing_errors' , [ 1 ] ] , // uses dyn
109
- [ 'error_multiple_error_types_reenter_question_mark' , [ 2 ] ] , // uses dyn
110
- [ 'error_multiple_error_types_wrap_error' , [ 1 ] ] , // uses dyn
108
+ [ 'error_multiple_error_types_boxing_errors' , [ 1 ] ] , // uses dyn
109
+ [ 'error_multiple_error_types_reenter_question_mark' , [ 2 ] ] , // uses dyn
110
+ [ 'error_multiple_error_types_wrap_error' , [ 1 ] ] , // uses dyn
111
111
[ 'error_option_unwrap_defaults' , [ 3 , 4 ] ] ,
112
112
[ 'flow_control_for' , [ 1 , 2 , 3 , 5 ] ] ,
113
113
[ 'flow_control_if_let' , [ 3 ] ] ,
114
- [ 'flow_control_let_else' , [ 1 , 2 ] ] , // Let else panics, bug #1460
114
+ [ 'flow_control_let_else' , [ 1 , 2 ] ] , // Let else panics, bug #1460
115
115
[ 'flow_control_loop_nested' , [ 1 ] ] ,
116
116
[ 'flow_control_loop_return' , [ 1 ] ] ,
117
117
[ 'flow_control_loop' , [ 1 ] ] ,
@@ -125,7 +125,7 @@ let cargo_hax_denylist = [
125
125
[ 'fn_closures_input_parameters' , [ 1 ] ] ,
126
126
[ 'fn' , [ 1 ] ] ,
127
127
[ 'hello_print_fmt' , [ 1 ] ] ,
128
- [ 'generics_bounds_testcase_empty' , [ 1 ] ] , // Marker traits, bug #1221
128
+ [ 'generics_bounds_testcase_empty' , [ 1 ] ] , // Marker traits, bug #1221
129
129
[ 'macros_dry' , [ 1 ] ] ,
130
130
[ 'scope_borrow_alias' , [ 1 ] ] ,
131
131
[ 'scope_borrow_ref' , [ 1 ] ] ,
@@ -141,8 +141,8 @@ let cargo_hax_denylist = [
141
141
[ 'std_str' , [ 1 ] ] ,
142
142
[ 'trait_iter' , [ 1 ] ] ,
143
143
[ 'trait' , [ 1 ] ] ,
144
- [ 'trait_dyn' , [ 1 ] ] , // uses dyn
145
- [ 'trait_supertraits' , [ 1 ] ] , // uses dyn
144
+ [ 'trait_dyn' , [ 1 ] ] , // uses dyn
145
+ [ 'trait_supertraits' , [ 1 ] ] , // uses dyn
146
146
[ 'unsafe' , [ 1 , 2 ] ] ,
147
147
] . map ( ( [ module , snippets ] ) => snippets . map ( n => `section_${ module } ::snippet_${ n } ` ) ) . flat ( ) ;
148
148
0 commit comments