Prefer to use file.stable_id over file.name from source map#148792
Merged
bors merged 1 commit intorust-lang:mainfrom Nov 11, 2025
Merged
Prefer to use file.stable_id over file.name from source map#148792bors merged 1 commit intorust-lang:mainfrom
bors merged 1 commit intorust-lang:mainfrom
