Skip to content

Fix name() functions for local defs in rustc_public#149401

Open
celinval wants to merge 2 commits intorust-lang:mainfrom
celinval:smir-109-name
Open

Fix `name()` functions for local defs in rustc_public#149401
celinval wants to merge 2 commits intorust-lang:mainfrom
celinval:smir-109-name

Commits

Commits on Dec 1, 2025