Skip to content

Fix #7944: Only treat erased as a keyword under -Yerased-terms#7947

Merged
anatoliykmetyuk merged 1 commit intoscala:masterfrom
dotty-staging:fix-#7944
Jan 10, 2020

Commits

Commits on Jan 10, 2020