diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-07-03 18:54:46 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-07-17 11:01:59 +0200 |
| commit | a47b8b4d3c22133e8cde0053701057e56cc71acb (patch) | |
| tree | a87cd5a6b513628c962548875f6bc70a1ed2efce | |
| parent | 968d16c289aedc7532dae9225502789b507e22e3 (diff) | |
| download | dotty-a47b8b4d3c22133e8cde0053701057e56cc71acb.tar.gz dotty-a47b8b4d3c22133e8cde0053701057e56cc71acb.tar.bz2 dotty-a47b8b4d3c22133e8cde0053701057e56cc71acb.zip | |
Removed test case
d.T is an access to a structural type member, so rejecting this is OK. Not sure why we compiled
this before without warning.
| -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 = ??? - -} |