bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

GCI: Don't try to collect mono items inside overly generic free const items

Browse source
This commit is contained in:
León Orell Valerian Liehr 2025-01-28 03:44:03 +01:00
parent 01a26c026d
commit 0a9ee02d0a
No known key found for this signature in database
GPG key ID: D17A07215F68E713
4 changed files with 47 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

11
compiler/rustc_monomorphize/src/collector.rs
View file

@ -1454,11 +1454,14 @@ impl<'v> RootCollector<'_, 'v> {
self.output.push(dummy_spanned(MonoItem::Static(def_id)));
}
DefKind::Const => {
// const items only generate mono items if they are
// actually used somewhere. Just declaring them is insufficient.
// Const items only generate mono items if they are actually used somewhere.
// Just declaring them is insufficient.
// but even just declaring them must collect the items they refer to
if let Ok(val) = self.tcx.const_eval_poly(id.owner_id.to_def_id()) {
// But even just declaring them must collect the items they refer to
// unless their generics require monomorphization.
if !self.tcx.generics_of(id.owner_id).requires_monomorphization(self.tcx)
&& let Ok(val) = self.tcx.const_eval_poly(id.owner_id.to_def_id())
{
collect_const_value(self.tcx, val, self.output);
}
}