Make `E0277` use short paths#116739

Merged

bors merged 2 commits intorust-lang:masterfrom

Milo123459:milo/short-paths

Oct 28, 2023

Commits on Oct 25, 2023

make E0277 use short paths
Milo123459
committed

Commits on Oct 27, 2023

Update type_err_ctxt_ext.rs

Milo123459
and
estebank
authored