@@ -476,7 +476,7 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, '
476476 Some ( CtfeValidationMode :: Const { .. } ) => {
477477 // We can't recursively validate `extern static`, so we better reject them.
478478 if self . ecx . tcx . is_foreign_item ( did) {
479- throw_validation_failure ! ( self . path, ConstRefToExtern ) ;
479+ throw_validation_failure ! ( self . path, ConstRefToExtern )
480480 }
481481 }
482482 None => { }
@@ -518,14 +518,14 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, '
518518 if ptr_expected_mutbl == Mutability :: Mut
519519 && alloc_actual_mutbl == Mutability :: Not
520520 {
521- throw_validation_failure ! ( self . path, MutableRefToImmutable ) ;
521+ throw_validation_failure ! ( self . path, MutableRefToImmutable )
522522 }
523523 // In a const, everything must be completely immutable.
524524 if matches ! ( self . ctfe_mode, Some ( CtfeValidationMode :: Const { .. } ) ) {
525525 if ptr_expected_mutbl == Mutability :: Mut
526526 || alloc_actual_mutbl == Mutability :: Mut
527527 {
528- throw_validation_failure ! ( self . path, ConstRefToMutable ) ;
528+ throw_validation_failure ! ( self . path, ConstRefToMutable )
529529 }
530530 }
531531 }
@@ -621,7 +621,7 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, '
621621 } else {
622622 // Otherwise (for standalone Miri), we have to still check it to be non-null.
623623 if self . ecx . scalar_may_be_null ( value) ? {
624- throw_validation_failure ! ( self . path, NullFnPtr ) ;
624+ throw_validation_failure ! ( self . path, NullFnPtr )
625625 }
626626 }
627627 Ok ( true )
@@ -786,7 +786,7 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValueVisitor<'mir, 'tcx, M>
786786 if self . ctfe_mode . is_some_and ( |c| !c. allow_immutable_unsafe_cell ( ) ) {
787787 if !op. layout . is_zst ( ) && !op. layout . ty . is_freeze ( * self . ecx . tcx , self . ecx . param_env ) {
788788 if !self . in_mutable_memory ( op) {
789- throw_validation_failure ! ( self . path, UnsafeCellInImmutable ) ;
789+ throw_validation_failure ! ( self . path, UnsafeCellInImmutable )
790790 }
791791 }
792792 }
@@ -819,7 +819,7 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValueVisitor<'mir, 'tcx, M>
819819 && def. is_unsafe_cell ( )
820820 {
821821 if !self . in_mutable_memory ( op) {
822- throw_validation_failure ! ( self . path, UnsafeCellInImmutable ) ;
822+ throw_validation_failure ! ( self . path, UnsafeCellInImmutable )
823823 }
824824 }
825825 }
@@ -934,7 +934,7 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValueVisitor<'mir, 'tcx, M>
934934 match op. layout . abi {
935935 Abi :: Uninhabited => {
936936 let ty = op. layout . ty ;
937- throw_validation_failure ! ( self . path, UninhabitedVal { ty } ) ;
937+ throw_validation_failure ! ( self . path, UninhabitedVal { ty } )
938938 }
939939 Abi :: Scalar ( scalar_layout) => {
940940 if !scalar_layout. is_uninit_valid ( ) {
0 commit comments