Merge pull request #678 from dotty-staging/fix/#670-orphan-polyparam

Avoid junk produced by Constraint#replace.

1 files changed, 26 insertions, 0 deletions

diff --git a/tests/pos/t8230a.scala b/tests/pos/t8230a.scala
new file mode 100644
index 000000000..dfbae51ee
--- /dev/null
+++ b/tests/pos/t8230a.scala
@@ -0,0 +1,26 @@
+trait Arr[T]
+object Arr {
+  def apply[T](xs: T): Arr[T]    = null
+  def apply(x: Long) : Arr[Long] = null
+}
+
+object I {
+  implicit def arrToTrav[T] (a: Arr[T])   : Traversable[T]    = null
+  implicit def longArrToTrav(a: Arr[Long]): Traversable[Long] = null
+}
+
+object Test {
+  def foo(t: Traversable[Any]) = {}
+
+  object Okay {
+    Arr("1")
+
+   import I.{ arrToTrav, longArrToTrav }
+   val x = foo(Arr("2"))
+ }
+
+  object Fail {
+    import I.arrToTrav
+    foo(Arr("3")) // found String, expected Long
+  }
+}