Avoid duplicate diagnostic args in RegionOriginNote::WithName#154875
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Apr 6, 2026
Merged
Avoid duplicate diagnostic args in RegionOriginNote::WithName#154875rust-bors[bot] merged 1 commit intorust-lang:mainfrom
RegionOriginNote::WithName#154875rust-bors[bot] merged 1 commit intorust-lang:mainfrom
