Closed allanrenucci closed 6 years ago
This version of Dotty fixes several unsoundness issues and remove the unsound protected[this] escape hatch for variance checking. See lampepfl/dotty#4013
@julienrf You might want to play with this branch and make it compile with Dotty
Superseded by #519.
odersky
commented
6 years ago
This version of Dotty fixes several unsoundness issues and remove the unsound protected[this] escape hatch for variance checking. See lampepfl/dotty#4013
@julienrf You might want to play with this branch and make it compile with Dotty