aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/intersection.scala
Commit message (Collapse)AuthorAgeFilesLines
* Push `|' into corresponding RefinedTypes in approximateUnionMartin Odersky2016-02-041-3/+1
| | | | | This gives in general a supertype, that's OK for approximation. See ee76fda for an explanation.
* New pos testsMartin Odersky2015-05-271-0/+19
Some of them were moved from disabled after verifiying that they compile now.