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

Commits

Commits on Jan 7, 2020