Merge pull request #2236 from dotty-staging/fix-#2234

Fix #2234: Dealias before type erasing

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"))
+}