aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/intersection.scala
Commit message (Collapse)AuthorAgeFilesLines
* Drop dotty.language from DefinitionsMartin Odersky2016-10-111-1/+0
|
* 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.