diff options
-rw-r--r-- | tests/pos/i39.scala | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tests/pos/i39.scala b/tests/pos/i39.scala deleted file mode 100644 index 5cbaee35d..000000000 --- a/tests/pos/i39.scala +++ /dev/null @@ -1,17 +0,0 @@ -object i39 { - - trait B { - type D <: { type T } - def d: D - } - - val bc: B = new B { - def d: D = ??? - } - - val d: bc.D = bc.d - - // infinite loop in Typer - val asT: d.T = ??? - -} |