diff options
| author | Michael Goulet <michael@errs.io> | 2024-09-30 00:34:58 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-09-30 00:34:58 -0400 |
| commit | 9368b9f57e7e3a82b5becdfd17a1eeb606e6fd5f (patch) | |
| tree | 02a46f7f64e0608188ff78660bef9147228687f8 | |
| parent | 4e91cedaedba39d06748c5873347f1a7341937ae (diff) | |
| download | rust-9368b9f57e7e3a82b5becdfd17a1eeb606e6fd5f.tar.gz rust-9368b9f57e7e3a82b5becdfd17a1eeb606e6fd5f.zip | |
Debug assert that unevaluated consts have the right substs
| -rw-r--r-- | compiler/rustc_middle/src/ty/consts.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/consts.rs b/compiler/rustc_middle/src/ty/consts.rs index 73d0acf95f4..ebc6cac3c42 100644 --- 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)) } |