@@ -865,7 +865,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
865865 let this = self . eval_context_mut ( ) ;
866866 let new_perm = NewPermission :: from_ref_ty ( val. layout . ty , kind, this) ;
867867 let cause = match kind {
868- RetagKind :: TwoPhase { .. } => RetagCause :: TwoPhase ,
868+ RetagKind :: TwoPhase => RetagCause :: TwoPhase ,
869869 RetagKind :: FnEntry => unreachable ! ( ) ,
870870 RetagKind :: Raw | RetagKind :: Default => RetagCause :: Normal ,
871871 } ;
@@ -880,7 +880,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
880880 let this = self . eval_context_mut ( ) ;
881881 let retag_fields = this. machine . borrow_tracker . as_mut ( ) . unwrap ( ) . get_mut ( ) . retag_fields ;
882882 let retag_cause = match kind {
883- RetagKind :: TwoPhase { .. } => unreachable ! ( ) , // can only happen in `retag_ptr_value`
883+ RetagKind :: TwoPhase => unreachable ! ( ) , // can only happen in `retag_ptr_value`
884884 RetagKind :: FnEntry => RetagCause :: FnEntry ,
885885 RetagKind :: Default | RetagKind :: Raw => RetagCause :: Normal ,
886886 } ;
@@ -904,10 +904,11 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
904904 new_perm : NewPermission ,
905905 ) -> InterpResult < ' tcx > {
906906 let val = self . ecx . read_immediate ( & self . ecx . place_to_op ( place) ?) ?;
907- let val = self . ecx . sb_retag_reference ( & val, new_perm, RetagInfo {
908- cause : self . retag_cause ,
909- in_field : self . in_field ,
910- } ) ?;
907+ let val = self . ecx . sb_retag_reference (
908+ & val,
909+ new_perm,
910+ RetagInfo { cause : self . retag_cause , in_field : self . in_field } ,
911+ ) ?;
911912 self . ecx . write_immediate ( * val, place) ?;
912913 interp_ok ( ( ) )
913914 }
@@ -996,10 +997,11 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
996997 access : Some ( AccessKind :: Write ) ,
997998 protector : Some ( ProtectorKind :: StrongProtector ) ,
998999 } ;
999- this. sb_retag_place ( place, new_perm, RetagInfo {
1000- cause : RetagCause :: InPlaceFnPassing ,
1001- in_field : false ,
1002- } )
1000+ this. sb_retag_place (
1001+ place,
1002+ new_perm,
1003+ RetagInfo { cause : RetagCause :: InPlaceFnPassing , in_field : false } ,
1004+ )
10031005 }
10041006
10051007 /// Mark the given tag as exposed. It was found on a pointer with the given AllocId.
0 commit comments