about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
diff options
context:
space:
mode:
authorBoxy <supbscripter@gmail.com>2024-06-03 04:46:24 +0100
committerBoxy <supbscripter@gmail.com>2024-06-05 22:25:41 +0100
commit60a5bebbe591f228bf83f3c48f5f60fe87dedaad (patch)
treed3128a0145a3eccf78ca641585cc094d320bbadf /compiler/rustc_borrowck/src
parent8d6705cdb8e6da72c61dfd0feb80ec4061d448bd (diff)
downloadrust-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.rs4
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),
             };