Skip to content

Put erased under -Yerased-terms flag#7906

Merged
anatoliykmetyuk merged 1 commit intoscala:masterfrom
dotty-staging:remove-erased-terms
Jan 8, 2020
Merged

Put `erased` under `-Yerased-terms` flag#7906
anatoliykmetyuk merged 1 commit intoscala:masterfrom
dotty-staging:remove-erased-terms

Commits

Commits on Jan 7, 2020