Skip to content

Do not issue E0071 if a type error has already been reported#88899

Merged
bors merged 1 commit intorust-lang:masterfrom
FabianWolff:issue-88844
Sep 17, 2021

Commits

Commits on Sep 12, 2021