make sure to emit error during hir_lowering for const statics

Shourya742 · Shourya742 · commit fc023516b969 · 2026-07-11T03:44:34.000Z
diff --git a/compiler/rustc_hir_analysis/src/hir_ty_lowering/mod.rs b/compiler/rustc_hir_analysis/src/hir_ty_lowering/mod.rs
@@ -2922,7 +2922,10 @@ impl<'tcx> dyn HirTyLowerer<'tcx> + '_ {
                 .unwrap_or_else(|guar| Const::new_error(tcx, guar))
             }
             Res::Def(DefKind::Static { .. }, _) => {
-                span_bug!(span, "use of bare `static` ConstArgKind::Path's not yet supported")
+                let guar = self
+                    .dcx()
+                    .span_err(path.span, "static items cannot be used as const arguments");
+                return Const::new_error(tcx, guar);
             }
             // FIXME(const_generics): create real const to allow fn items as const paths
             Res::Def(DefKind::Fn | DefKind::AssocFn, did) => {

Original file line number	Diff line number	Diff line change
`@@ -2922,7 +2922,10 @@ impl<'tcx> dyn HirTyLowerer<'tcx> + '_ {`
`2922`	`2922`	`.unwrap_or_else(\|guar\| Const::new_error(tcx, guar))`
`2923`	`2923`	`}`
`2924`	`2924`	`Res::Def(DefKind::Static { .. }, _) => {`
`2925`		- span_bug!(span, "use of bare `static` ConstArgKind::Path's not yet supported")
	`2925`	`+ let guar = self`
	`2926`	`+ .dcx()`
	`2927`	`+ .span_err(path.span, "static items cannot be used as const arguments");`
	`2928`	`+ return Const::new_error(tcx, guar);`
`2926`	`2929`	`}`
`2927`	`2930`	`// FIXME(const_generics): create real const to allow fn items as const paths`
`2928`	`2931`	`Res::Def(DefKind::Fn \| DefKind::AssocFn, did) => {`