Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Downwards comparisons for implicit search and overloading resolution | Martin Odersky | 2016-05-23 | 1 | -0/+8 |
Compare selected contravariant arguments as if they were covariant. Which ones is explained in the doc comment for method `isAsSpecificValueType` in Applications.scala. This has the same motivation than what @paulp proposed around 2012. The solution is a bit different from the one proposed then because it only affects top-level parameters. |