Use `DefId`s to identify anon consts when converting from HIR to ty::Const

diff --git a/src/librustc/ty/sty.rs b/src/librustc/ty/sty.rs
index 9e0f4668d95a1b73ae5d08bbd209eb6b1b2d04ad..e5c88c1c9ba94104f2163e0d2862bff80e1385c5 100644 (file)
--- a/src/librustc/ty/sty.rs
+++ b/src/librustc/ty/sty.rs
@@ -2404,16 +2404,14 @@ pub struct Const<'tcx> {
 impl<'tcx> Const<'tcx> {
     /// Literals and const generic parameters are eagerly converted to a constant, everything else
     /// becomes `Unevaluated`.
-    pub fn from_hir_anon_const(
-        tcx: TyCtxt<'tcx>,
-        ast_const: &hir::AnonConst,
-        ty: Ty<'tcx>,
-    ) -> &'tcx Self {
-        debug!("Const::from_hir_anon_const(id={:?}, ast_const={:?})", ast_const.hir_id, ast_const);
+    pub fn from_hir_anon_const(tcx: TyCtxt<'tcx>, def_id: DefId, ty: Ty<'tcx>) -> &'tcx Self {
+        debug!("Const::from_hir_anon_const(id={:?})", def_id);
+
+        let hir_id = tcx.hir().as_local_hir_id(def_id).unwrap();
 
-        let def_id = tcx.hir().local_def_id(ast_const.hir_id);
+        let body_id = tcx.hir().body_owned_by(hir_id);
 
-        let expr = &tcx.hir().body(ast_const.body).value;
+        let expr = &tcx.hir().body(body_id).value;
 
         let lit_input = match expr.kind {
             hir::ExprKind::Lit(ref lit) => Some(LitToConstInput { lit: &lit.node, ty, neg: false }),

diff --git a/src/librustc_mir_build/hair/cx/expr.rs b/src/librustc_mir_build/hair/cx/expr.rs
index b9c9e9834eff8a16ee5c8571729eb8b6f98cd771..73c442e4a91ce515b31993a7f39ac81fab9ddd1e 100644 (file)
--- a/src/librustc_mir_build/hair/cx/expr.rs
+++ b/src/librustc_mir_build/hair/cx/expr.rs
@@ -406,6 +406,7 @@ fn make_mirror_unadjusted<'a, 'tcx>(
 
         // Now comes the rote stuff:
         hir::ExprKind::Repeat(ref v, ref count) => {
+            let count = cx.tcx.hir().local_def_id(count.hir_id);
             let count = ty::Const::from_hir_anon_const(cx.tcx, count, cx.tcx.types.usize);
 
             ExprKind::Repeat { value: v.to_ref(), count }

diff --git a/src/librustc_typeck/astconv.rs b/src/librustc_typeck/astconv.rs
index 2d7bf81aedd6d9061c08ab8737c9de717f92bfe7..ee7134822682a32de3040613bf5c690a910dd202 100644 (file)
--- a/src/librustc_typeck/astconv.rs
+++ b/src/librustc_typeck/astconv.rs
@@ -780,7 +780,8 @@ fn create_substs_for_ast_path<'a>(
                     }
                 }
                 (GenericParamDefKind::Const, GenericArg::Const(ct)) => {
-                    ty::Const::from_hir_anon_const(tcx, &ct.value, tcx.type_of(param.def_id)).into()
+                    let ct = tcx.hir().local_def_id(ct.value.hir_id);
+                    ty::Const::from_hir_anon_const(tcx, ct, tcx.type_of(param.def_id)).into()
                 }
                 _ => unreachable!(),
             },
@@ -2764,6 +2765,7 @@ pub fn ast_ty_to_ty(&self, ast_ty: &hir::Ty<'_>) -> Ty<'tcx> {
                     .unwrap_or(tcx.types.err)
             }
             hir::TyKind::Array(ref ty, ref length) => {
+                let length = tcx.hir().local_def_id(length.hir_id);
                 let length = ty::Const::from_hir_anon_const(tcx, length, tcx.types.usize);
                 let array_ty = tcx.mk_ty(ty::Array(self.ast_ty_to_ty(&ty), length));
                 self.normalize_ty(ast_ty.span, array_ty)

diff --git a/src/librustc_typeck/check/mod.rs b/src/librustc_typeck/check/mod.rs
index 292ad1e94a72eea68b77819f279ec0222e95877d..f790bcfbb09aa78844fb3cb15944e72f52beb3f3 100644 (file)
--- a/src/librustc_typeck/check/mod.rs
+++ b/src/librustc_typeck/check/mod.rs
@@ -3280,7 +3280,8 @@ pub fn to_ty_saving_user_provided_ty(&self, ast_ty: &hir::Ty<'_>) -> Ty<'tcx> {
     }
 
     pub fn to_const(&self, ast_c: &hir::AnonConst, ty: Ty<'tcx>) -> &'tcx ty::Const<'tcx> {
-        ty::Const::from_hir_anon_const(self.tcx, ast_c, ty)
+        let c = self.tcx.hir().local_def_id(ast_c.hir_id);
+        ty::Const::from_hir_anon_const(self.tcx, c, ty)
     }
 
     // If the type given by the user has free regions, save it for later, since