fix

tjhance · tjhance · commit f15f5c45ed9a · 2025-11-26T13:59:27.000+01:00
diff --git a/source/vir/src/modes.rs b/source/vir/src/modes.rs
@@ -1200,7 +1200,6 @@ fn check_expr_handle_mut_arg(
                 }
             };
 
-            mode = mode_join(outer_mode, mode);
             if let Some(CtorUpdateTail { place, taken_fields }) = update {
                 let place_mode =
                     check_place(ctxt, record, typing, outer_mode, place, PlaceAccess::Read)?;

Original file line number	Diff line number	Diff line change
`@@ -1200,7 +1200,6 @@ fn check_expr_handle_mut_arg(`
`1200`	`1200`	`}`
`1201`	`1201`	`};`
`1202`	`1202`
`1203`		`- mode = mode_join(outer_mode, mode);`
`1204`	`1203`	`if let Some(CtorUpdateTail { place, taken_fields }) = update {`
`1205`	`1204`	`let place_mode =`
`1206`	`1205`	`check_place(ctxt, record, typing, outer_mode, place, PlaceAccess::Read)?;`