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-88844Sep 17, 2021

Commits

Commits on Sep 12, 2021