Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix #1751: Make dominator work after erasure | Martin Odersky | 2016-12-02 | 1 | -0/+17 |
i1751.scala shows a case where we need to compute the approximation of an or-type during erasure. This can lead to an empty set of common classes because Any does not exist anymore after erasure. |