diff options
Diffstat (limited to 'tests/pending/run/t8177f.scala')
-rw-r--r-- | tests/pending/run/t8177f.scala | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/tests/pending/run/t8177f.scala b/tests/pending/run/t8177f.scala deleted file mode 100644 index 6f9a68c11..000000000 --- a/tests/pending/run/t8177f.scala +++ /dev/null @@ -1,20 +0,0 @@ -trait Thing { type A; var p: A = _ } -class A[T](final val x: Thing { type A = T }) { - type Q = T - - def x1: T = x.p - def x2: Q = x.p - def x3: x.A = x.p -} -// all result types should be inferred as Int -class B extends A[Int](null) { - def y1 = x1 - def y2 = x2 - val y3 = x3 // before SI-8177, this lead to a signature that erased to java.lang.Object -} - - -object Test extends dotty.runtime.LegacyApp { - val methods = classOf[B].getDeclaredMethods.sortBy(_.getName) - assert(methods.forall(_.toGenericString.startsWith("public int"))) -} |