diff options
author | Martin Odersky <odersky@gmail.com> | 2017-04-13 11:00:37 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-04-18 16:55:39 +0200 |
commit | 37120df19265da923703de00911e33937e5a66de (patch) | |
tree | e476fc785d0df6d138e44a3e6c7dea411f649cd3 | |
parent | 02cffa49ede84dbd0dbb93329c9a4117251ca658 (diff) | |
download | dotty-37120df19265da923703de00911e33937e5a66de.tar.gz dotty-37120df19265da923703de00911e33937e5a66de.tar.bz2 dotty-37120df19265da923703de00911e33937e5a66de.zip |
Add test
-rw-r--r-- | tests/pos/i2234.scala | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/pos/i2234.scala b/tests/pos/i2234.scala new file mode 100644 index 000000000..8173c2091 --- /dev/null +++ b/tests/pos/i2234.scala @@ -0,0 +1,13 @@ +object Test { + type Dummy[A] = A + + def a(d: Dummy[String]) = () + def a(d: Dummy[Int]) = () + + implicit def dummy[A]: Dummy[A] = null.asInstanceOf[A] + def m(x: List[String])(implicit d: Dummy[String]) = "string" + def m(x: List[Int])(implicit d: Dummy[Int]) = "int" + + m(List(1, 2, 3)) + m(List("a")) +} |