Auto merge of #149901 - RalfJung:const-eval-typed, r=<try>

rust-bors[bot] · web-flow · commit db4e1d23234d · 2025-12-12T07:45:36.000Z
const-eval: always do full typed copies
diff --git a/compiler/rustc_const_eval/src/const_eval/machine.rs b/compiler/rustc_const_eval/src/const_eval/machine.rs
@@ -408,8 +408,8 @@ impl<'tcx> interpret::Machine<'tcx> for CompileTimeMachine<'tcx> {
     }
 
     #[inline(always)]
-    fn enforce_validity(ecx: &InterpCx<'tcx, Self>, layout: TyAndLayout<'tcx>) -> bool {
-        ecx.tcx.sess.opts.unstable_opts.extra_const_ub_checks || layout.is_uninhabited()
+    fn enforce_validity(_ecx: &InterpCx<'tcx, Self>, _layout: TyAndLayout<'tcx>) -> bool {
+        true
     }
 
     fn load_mir(

Original file line number	Diff line number	Diff line change
`@@ -408,8 +408,8 @@ impl<'tcx> interpret::Machine<'tcx> for CompileTimeMachine<'tcx> {`
`408`	`408`	`}`
`409`	`409`
`410`	`410`	`#[inline(always)]`
`411`		`- fn enforce_validity(ecx: &InterpCx<'tcx, Self>, layout: TyAndLayout<'tcx>) -> bool {`
`412`		`- ecx.tcx.sess.opts.unstable_opts.extra_const_ub_checks \|\| layout.is_uninhabited()`
	`411`	`+ fn enforce_validity(_ecx: &InterpCx<'tcx, Self>, _layout: TyAndLayout<'tcx>) -> bool {`
	`412`	`+ true`
`413`	`413`	`}`
`414`	`414`
`415`	`415`	`fn load_mir(`