Skip to content

Report the correct errors in the IDE and add test infrastructure for diagnostics#5484

Merged
Duhemm merged 6 commits intoscala:masterfrom
dotty-staging:fix-error-pos-2
Nov 21, 2018
Merged

Report the correct errors in the IDE and add test infrastructure for diagnostics#5484
Duhemm merged 6 commits intoscala:masterfrom
dotty-staging:fix-error-pos-2

Commits

Commits on Nov 20, 2018

Commits on Nov 21, 2018