Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update tests to use new PolyType syntax. | Martin Odersky | 2016-10-12 | 1 | -6/+6 |
| | |||||
* | Bounds of type lambdas compare contravariantly | Martin Odersky | 2016-07-15 | 1 | -0/+8 |
| | | | | | | | 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. | ||||
* | Add test case for hk bounds checking | Martin Odersky | 2016-07-14 | 1 | -0/+23 |