aboutsummaryrefslogtreecommitdiff
path: root/tests/neg/subtyping.scala
Commit message (Expand)AuthorAgeFilesLines
* Allow definition of new types in refinementsMartin Odersky2016-07-121-1/+1
* Avoid propagating unresolved implicitsMartin Odersky2016-04-211-1/+1
* Adapt neg tests to new neg tests checksVladimirNik2016-02-181-4/+4
* Negtests with // error commentsvsalvis2016-02-181-3/+3
* Fix subtyping of types without symbolsGuillaume Martres2014-10-091-1/+5
* Simplify subtying testGuillaume Martres2014-10-091-4/+1
* Fix isSubType(A#X, B#X) not checking if A <: BGuillaume Martres2014-10-051-0/+13