const-eval: always do full typed copies

RalfJung · RalfJung · commit 8ee615561725 · 2025-12-12T08:38:28.000+01:00
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(`