Fix ui-fulldeps --stage=1 with -Zignore-directory-in-diagnostics-source-blocks#116009
Merged
bors merged 2 commits intorust-lang:masterfrom Sep 21, 2023
ui-fulldeps --stage=1 with -Zignore-directory-in-diagnostics-source-blocks#116009