Skip to content

Specific labels when referring to "expected" and "found" types#66389

Merged
bors merged 6 commits intorust-lang:masterfrom
estebank:type-err-labels
Nov 21, 2019
Merged

Specific labels when referring to "expected" and "found" types#66389
bors merged 6 commits intorust-lang:masterfrom
estebank:type-err-labels

Commits

Commits on Nov 18, 2019