Skip to content

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

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

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

Fix name and pretty print now uses trimmed_name

bb2bfc3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.