Avoid the path trimming ICE lint in error reporting#117373
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 2, 2023
Merged
Avoid the path trimming ICE lint in error reporting#117373bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
