diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-05-04 12:09:52 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-05-23 16:11:45 +0200 |
| commit | 89540268e6c49fb92b9ca61249e46bb59981bf5a (patch) | |
| tree | 5d7296175b7f27fd4243c61775bf262b84ea919f /tests | |
| parent | 039e20f3919d2ff4aa30a1f58314d0d0bff319c0 (diff) | |
| download | dotty-89540268e6c49fb92b9ca61249e46bb59981bf5a.tar.gz dotty-89540268e6c49fb92b9ca61249e46bb59981bf5a.tar.bz2 dotty-89540268e6c49fb92b9ca61249e46bb59981bf5a.zip | |
Downwards comparisons for implicit search and overloading resolution
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.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/pos-scala2/t2030.scala (renamed from tests/run/t2030.scala) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tests/run/t2030.scala b/tests/pos-scala2/t2030.scala index cbd62baba..cbd62baba 100644 --- a/tests/run/t2030.scala +++ b/tests/pos-scala2/t2030.scala |