Make ConstArg be its own hir::Node with distinct HirId

Author: camelid

compiler/rustc_ast_lowering/src/index.rs

@@ -229,6 +229,7 @@ impl<'a, 'hir> Visitor<'hir> for NodeCollector<'a, 'hir> {
     }
 
     fn visit_anon_const(&mut self, constant: &'hir AnonConst) {
+        // FIXME: use real span?
         self.insert(DUMMY_SP, constant.hir_id, Node::AnonConst(constant));
 
         self.with_parent(constant.hir_id, |this| {
@@ -244,6 +245,15 @@ impl<'a, 'hir> Visitor<'hir> for NodeCollector<'a, 'hir> {
         });
     }
 
+    fn visit_const_arg(&mut self, const_arg: &'hir ConstArg<'hir>) {
+        // FIXME: use real span?
+        self.insert(DUMMY_SP, const_arg.hir_id, Node::ConstArg(const_arg));
+
+        self.with_parent(const_arg.hir_id, |this| {
+            intravisit::walk_const_arg(this, const_arg);
+        });
+    }
+
     fn visit_expr(&mut self, expr: &'hir Expr<'hir>) {
         self.insert(expr.span, expr.hir_id, Node::Expr(expr));
 

compiler/rustc_ast_lowering/src/lib.rs

@@ -1156,7 +1156,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
                                     None,
                                 );
                                 return GenericArg::Const(ConstArg {
-                                    hir_id: self.lower_node_id(ty.id),
+                                    hir_id: self.next_id(),
                                     kind: ConstArgKind::Path(qpath),
                                     is_desugared_from_effects: false,
                                 });
@@ -1189,15 +1189,15 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
                 None,
             );
             return ConstArg {
-                hir_id: self.lower_node_id(anon.id),
+                hir_id: self.next_id(),
                 kind: ConstArgKind::Path(qpath),
                 is_desugared_from_effects: false,
             };
         }
 
         let lowered_anon = self.lower_anon_const(anon);
         ConstArg {
-            hir_id: lowered_anon.hir_id,
+            hir_id: self.next_id(),
             kind: ConstArgKind::Anon(lowered_anon),
             is_desugared_from_effects: false,
         }
@@ -2597,7 +2597,7 @@ impl<'hir> GenericArgsCtor<'hir> {
             return;
         }
 
-        let (hir_id, const_arg_kind) = match constness {
+        let const_arg_kind = match constness {
             BoundConstness::Never => return,
             BoundConstness::Always(span) => {
                 let id = lcx.next_node_id();
@@ -2618,18 +2618,14 @@ impl<'hir> GenericArgsCtor<'hir> {
                 );
 
                 lcx.children.push((def_id, hir::MaybeOwner::NonOwner(hir_id)));
-                (
+                hir::ConstArgKind::Anon(lcx.arena.alloc(hir::AnonConst {
+                    def_id,
                     hir_id,
-                    hir::ConstArgKind::Anon(lcx.arena.alloc(hir::AnonConst {
-                        def_id,
-                        hir_id,
-                        body,
-                        span,
-                    })),
-                )
+                    body,
+                    span,
+                }))
             }
             BoundConstness::Maybe(span) => {
-                let hir_id = lcx.next_id();
                 let span = lcx.lower_span(span);
 
                 let Some(host_param_id) = lcx.host_param_id else {
@@ -2641,6 +2637,7 @@ impl<'hir> GenericArgsCtor<'hir> {
                 };
 
                 let res = Res::Def(DefKind::ConstParam, host_param_id.to_def_id());
+                let hir_id = lcx.next_id();
                 let path = lcx.arena.alloc(hir::Path {
                     span,
                     res,
@@ -2653,12 +2650,12 @@ impl<'hir> GenericArgsCtor<'hir> {
                         )
                     ],
                 });
-                (hir_id, hir::ConstArgKind::Path(hir::QPath::Resolved(None, path)))
+                hir::ConstArgKind::Path(hir::QPath::Resolved(None, path))
             }
         };
 
         self.args.push(hir::GenericArg::Const(hir::ConstArg {
-            hir_id,
+            hir_id: lcx.next_id(),
             kind: const_arg_kind,
             is_desugared_from_effects: true,
         }))

compiler/rustc_hir/src/hir.rs

@@ -3673,6 +3673,7 @@ pub enum Node<'hir> {
     Field(&'hir FieldDef<'hir>),
     AnonConst(&'hir AnonConst),
     ConstBlock(&'hir ConstBlock),
+    ConstArg(&'hir ConstArg<'hir>),
     Expr(&'hir Expr<'hir>),
     ExprField(&'hir ExprField<'hir>),
     Stmt(&'hir Stmt<'hir>),
@@ -3734,6 +3735,7 @@ impl<'hir> Node<'hir> {
             Node::Param(..)
             | Node::AnonConst(..)
             | Node::ConstBlock(..)
+            | Node::ConstArg(..)
             | Node::Expr(..)
             | Node::Stmt(..)
             | Node::Block(..)

compiler/rustc_hir_pretty/src/lib.rs

@@ -85,6 +85,7 @@ impl<'a> State<'a> {
             Node::Variant(a) => self.print_variant(a),
             Node::AnonConst(a) => self.print_anon_const(a),
             Node::ConstBlock(a) => self.print_inline_const(a),
+            Node::ConstArg(a) => self.print_const_arg(a),
             Node::Expr(a) => self.print_expr(a),
             Node::ExprField(a) => self.print_expr_field(a),
             Node::Stmt(a) => self.print_stmt(a),

compiler/rustc_middle/src/hir/map/mod.rs

@@ -894,6 +894,7 @@ impl<'hir> Map<'hir> {
             Node::Field(field) => field.span,
             Node::AnonConst(constant) => constant.span,
             Node::ConstBlock(constant) => self.body(constant.body).value.span,
+            Node::ConstArg(const_arg) => const_arg.span(),
             Node::Expr(expr) => expr.span,
             Node::ExprField(field) => field.span,
             Node::Stmt(stmt) => stmt.span,
@@ -1164,6 +1165,7 @@ fn hir_id_to_string(map: Map<'_>, id: HirId) -> String {
         }
         Node::AnonConst(_) => node_str("const"),
         Node::ConstBlock(_) => node_str("const"),
+        Node::ConstArg(_) => node_str("const"),
         Node::Expr(_) => node_str("expr"),
         Node::ExprField(_) => node_str("expr field"),
         Node::Stmt(_) => node_str("stmt"),

compiler/rustc_middle/src/ty/consts.rs

@@ -185,9 +185,10 @@ impl<'tcx> Const<'tcx> {
     pub fn from_anon_const(tcx: TyCtxt<'tcx>, def: LocalDefId) -> Self {
         let body_id = match tcx.hir_node_by_def_id(def) {
             hir::Node::AnonConst(ac) => ac.body,
-            _ => span_bug!(
+            node => span_bug!(
                 tcx.def_span(def.to_def_id()),
-                "from_anon_const can only process anonymous constants"
+                "from_anon_const can only process anonymous constants, not {:?}",
+                node,
             ),
         };