Skip to content

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

Merged
bors merged 2 commits intorust-lang:mainfrom
celinval:smir-109-name
Dec 6, 2025
Merged

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

Commits

Commits on Dec 1, 2025