Debug assert that unevaluated consts have the right substs

compiler-errors · compiler-errors · commit 9368b9f57e7e · 2024-09-30T00:34:58.000-04:00
diff --git a/compiler/rustc_middle/src/ty/consts.rs b/compiler/rustc_middle/src/ty/consts.rs
@@ -109,6 +109,7 @@ impl<'tcx> Const<'tcx> {
 
     #[inline]
     pub fn new_unevaluated(tcx: TyCtxt<'tcx>, uv: ty::UnevaluatedConst<'tcx>) -> Const<'tcx> {
+        tcx.debug_assert_args_compatible(uv.def, uv.args);
         Const::new(tcx, ty::ConstKind::Unevaluated(uv))
     }
 

Original file line number	Diff line number	Diff line change
`@@ -109,6 +109,7 @@ impl<'tcx> Const<'tcx> {`
`109`	`109`
`110`	`110`	`#[inline]`
`111`	`111`	`pub fn new_unevaluated(tcx: TyCtxt<'tcx>, uv: ty::UnevaluatedConst<'tcx>) -> Const<'tcx> {`
	`112`	`+ tcx.debug_assert_args_compatible(uv.def, uv.args);`
`112`	`113`	`Const::new(tcx, ty::ConstKind::Unevaluated(uv))`
`113`	`114`	`}`
`114`	`115`