diff options
| author | Boxy <supbscripter@gmail.com> | 2024-06-03 04:46:24 +0100 |
|---|---|---|
| committer | Boxy <supbscripter@gmail.com> | 2024-06-05 22:25:41 +0100 |
| commit | 60a5bebbe591f228bf83f3c48f5f60fe87dedaad (patch) | |
| tree | d3128a0145a3eccf78ca641585cc094d320bbadf /compiler/rustc_borrowck/src | |
| parent | 8d6705cdb8e6da72c61dfd0feb80ec4061d448bd (diff) | |
| download | rust-60a5bebbe591f228bf83f3c48f5f60fe87dedaad.tar.gz rust-60a5bebbe591f228bf83f3c48f5f60fe87dedaad.zip | |
Add `Ty` to `mir::Const::Ty`
Diffstat (limited to 'compiler/rustc_borrowck/src')
| -rw-r--r-- | compiler/rustc_borrowck/src/type_check/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_borrowck/src/type_check/mod.rs b/compiler/rustc_borrowck/src/type_check/mod.rs index 291d2782c32..fcfb297d50a 100644 --- a/compiler/rustc_borrowck/src/type_check/mod.rs +++ b/compiler/rustc_borrowck/src/type_check/mod.rs @@ -346,7 +346,7 @@ impl<'a, 'b, 'tcx> Visitor<'tcx> for TypeVerifier<'a, 'b, 'tcx> { } else { let tcx = self.tcx(); let maybe_uneval = match constant.const_ { - Const::Ty(ct) => match ct.kind() { + Const::Ty(_, ct) => match ct.kind() { ty::ConstKind::Unevaluated(_) => { bug!("should not encounter unevaluated Const::Ty here, got {:?}", ct) } @@ -1856,7 +1856,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> { if let Operand::Constant(constant) = op { let maybe_uneval = match constant.const_ { - Const::Val(..) | Const::Ty(_) => None, + Const::Val(..) | Const::Ty(_, _) => None, Const::Unevaluated(uv, _) => Some(uv), }; |
