Skip to content

Make E0277 use short paths - #116739

Merged
bors merged 2 commits into
rust-lang:masterfrom
Milo123459:milo/short-paths
Oct 28, 2023
Merged

Make E0277 use short paths#116739
bors merged 2 commits into
rust-lang:masterfrom
Milo123459:milo/short-paths

Update type_err_ctxt_ext.rs

a65d99d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs