Skip to content

Fix #2412: Local error causes spurious errors to be reported#2922

Closed
smarter wants to merge 2 commits intoscala:masterfrom
dotty-staging:fix-spurious-errors

Commits

Commits on Oct 6, 2017