Merge pull request #3082 from retronym/ticket/6385

SI-6385 Avoid bridges to identical signatures over value classes

2 files changed, 26 insertions, 0 deletions

diff --git a/test/files/run/t6260b.scala b/test/files/run/t6260b.scala
new file mode 100644
index 0000000000..dd2cf4bc4e
--- /dev/null
+++ b/test/files/run/t6260b.scala
@@ -0,0 +1,13 @@
+class C[A](val a: A) extends AnyVal
+
+class DD {
+  def foo(c: C[String]) = ()
+  def bar[A <: String](c: C[A]) = ()
+  def baz[A](c: C[A]) = ()
+}
+
+object Test extends App {
+  classOf[DD].getMethod("foo", classOf[String])
+  classOf[DD].getMethod("bar", classOf[String])
+  classOf[DD].getMethod("baz", classOf[Object])
+}
diff --git a/test/files/run/t6385.scala b/test/files/run/t6385.scala
new file mode 100644
index 0000000000..24fc3cd768
--- /dev/null
+++ b/test/files/run/t6385.scala
@@ -0,0 +1,13 @@
+object Test {
+   def main(args: Array[String]) {
+      val y: AA[Int] = C(2)
+      val c: Int = y.x.y
+      assert(c == 2)
+   }
+}
+trait AA[T] extends Any {
+   def x: C[T]
+}
+case class C[T](val y: T) extends AnyVal with AA[T] {
+   def x = this
+}