diff options
author | Martin Odersky <odersky@gmail.com> | 2014-03-20 10:51:01 +0100 |
---|---|---|
committer | Tobias Schlatter <tobias@meisch.ch> | 2014-03-21 11:28:31 +0100 |
commit | 5f318bc925c227d2bce5cff31610803185b57f54 (patch) | |
tree | 70ab60ecc7fd94666d3428a45e3ed4f3695a9305 /tests/pos/t1272.scala | |
parent | 72a5f392bf11b6474b351cd81a17d0ceeed13dcc (diff) | |
download | dotty-5f318bc925c227d2bce5cff31610803185b57f54.tar.gz dotty-5f318bc925c227d2bce5cff31610803185b57f54.tar.bz2 dotty-5f318bc925c227d2bce5cff31610803185b57f54.zip |
Fix of t1272: overloading resolution
stripImplicits needs to take polytypes into account.
Diffstat (limited to 'tests/pos/t1272.scala')
-rw-r--r-- | tests/pos/t1272.scala | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/pos/t1272.scala b/tests/pos/t1272.scala new file mode 100644 index 000000000..916b783bb --- /dev/null +++ b/tests/pos/t1272.scala @@ -0,0 +1,9 @@ +object ImplicitTest { + implicit val i : Int = 10 + implicit def a(implicit i : Int) : Array[Byte] = null + implicit def b[T](implicit i : Int) : Array[T] = null + + def fn[T](implicit x : T) = 0 + + val x = fn[Array[Byte]] +} |