This commit is contained in:
Richard Feldman 2024-10-13 11:11:12 -04:00
parent e589923ae8
commit 62b4fe6943
No known key found for this signature in database
GPG key ID: DAC334802F365236
4 changed files with 13 additions and 13 deletions

View file

@ -2969,7 +2969,7 @@ fn constrain_typed_function_arguments(
None
};
let it = arguments.iter().zip(arg_types.into_iter()).enumerate();
let it = arguments.iter().zip(arg_types).enumerate();
for (index, ((pattern_var, annotated_mark, loc_pattern), ann)) in it {
let pattern_var_index = constraints.push_variable(*pattern_var);
let ann_index = constraints.push_type(types, ann);
@ -3123,7 +3123,7 @@ fn constrain_typed_function_arguments_simple(
arguments: &[(Variable, AnnotatedMark, Loc<Pattern>)],
arg_types: Slice<TypeTag>,
) {
let it = arguments.iter().zip(arg_types.into_iter()).enumerate();
let it = arguments.iter().zip(arg_types).enumerate();
for (index, ((pattern_var, annotated_mark, loc_pattern), ann)) in it {
let pattern_var_index = constraints.push_variable(*pattern_var);
let ann_index = constraints.push_type(types, ann);