This commit is contained in:
Folkert 2021-08-01 20:34:35 +02:00
parent dfaaa21e81
commit cf5c38699b
3 changed files with 6 additions and 10 deletions

View file

@ -1414,7 +1414,7 @@ fn deep_copy_var_help(
same @ EmptyRecord | same @ EmptyTagUnion | same @ Erroneous(_) => same,
Record(mut fields, ext_var) => {
for var in fields.iter_mut() {
for var in fields.iter_variables_mut() {
*var = deep_copy_var_help(subs, max_rank, pools, *var);
}