aboutsummaryrefslogtreecommitdiff
path: root/tests/neg/t2994.scala
Commit message (Collapse)AuthorAgeFilesLines
* Bounds of type lambdas compare contravariantlyMartin Odersky2016-07-151-1/+1
| | | | | | | Enable checking of bounds when comparing type lambdas. This invalidates a pattern used in t2994 and potentially other code, where a bound [X] -> Any is used as a template that is a legal supertype of all other bounds. The old behavior is still available under language:Scala2.
* Drop restriction to 2nd order hk typesMartin Odersky2016-07-121-3/+3
| | | | Allow hk type parameters to be higher kinded themselves.
* Negtests with // error commentsvsalvis2016-02-181-4/+3
|
* Reorganize tests to account for new typing of projectionMartin Odersky2016-02-091-3/+3
| | | | | | Tests with failed projections are moved to pos-scala2, which was renamed from pos-special. Files in pos-scala2 are compiled with -language:Scala2 option.
* Handling higher-kinded types with lambdasMartin Odersky2014-06-181-1/+2
| | | | | Switch to the new scheme where higher-kinded types (and also some polymorphic type aliases) are represented as instances of Lambda traits.
* Reclassifying testsMartin Odersky2014-05-301-0/+35
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 06:30:34 +0000