Skip to content

Modify primary span label for E0308#106399

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

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

Commits

Commits on Jan 30, 2023