aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/boundspropagation.scala
Commit message (Collapse)AuthorAgeFilesLines
* Fix to checkBoundsMartin Odersky2014-11-241-0/+8
| | | | | Need to account for the fact that some argument types may be TypeBoudns themselves. The change makes Jason's latest example work.
* Fixed type adaptation problem in checkBoundsMartin Odersky2014-11-241-0/+18
We need to adapt type parameter bounds with an as-ssen-from to the prefix of the type constructor. Makes pos/boundspropagation pass.