aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/subtyping.scala
Commit message (Collapse)AuthorAgeFilesLines
* Test reorgMartin Odersky2015-02-071-28/+1
|
* Made constraint data structures pluggable.Martin Odersky2015-01-121-0/+13
| | | | | Factored out interface for constraints. Current implementation: NaiveConstraint. Preparing for a more efficient one.
* Fixed typosMartin Odersky2014-11-181-3/+0
|
* Restored accidentally deleted test code.Martin Odersky2014-11-181-0/+6
|
* Try to avoid overconstraining when comparing and/or typesMartin Odersky2014-11-161-5/+15
| | | | | See comments in eitherIsSubType for an explanation what the problem is. Some test cases are in subtyping.scala
* Fix subtyping checks involving ThisType and PolyParamGuillaume Martres2014-11-111-0/+6