Skip to content

Improve invariant checks for erased terms#12095

Merged
odersky merged 1 commit intoscala:masterfrom
dotty-staging:improve-erased-terms-erasure
Apr 27, 2021

Commits

Commits on Apr 22, 2021