Skip to content

Modify primary span label for E0308#106399

Merged
bors merged 10 commits into
rust-lang:masterfrom
estebank:type-err-span-label
Jan 31, 2023
Merged

Modify primary span label for E0308#106399
bors merged 10 commits into
rust-lang:masterfrom
estebank:type-err-span-label

Commits

Commits on Jan 30, 2023