diff options
author | mihaylov <mihaylov@epfl.ch> | 2007-04-17 12:05:31 +0000 |
---|---|---|
committer | mihaylov <mihaylov@epfl.ch> | 2007-04-17 12:05:31 +0000 |
commit | 02550b2be341217162549fd3e45ef33b7532c0f3 (patch) | |
tree | 8c7f2aea8433adb022b63387466e17b9ca243403 /test/files/pos/bug0599.scala | |
parent | 44a06ff6abd64e68d0acec48b789f9a48ef1d455 (diff) | |
download | scala-02550b2be341217162549fd3e45ef33b7532c0f3.tar.gz scala-02550b2be341217162549fd3e45ef33b7532c0f3.tar.bz2 scala-02550b2be341217162549fd3e45ef33b7532c0f3.zip |
Moved some test from pending/ to files/
Diffstat (limited to 'test/files/pos/bug0599.scala')
-rw-r--r-- | test/files/pos/bug0599.scala | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/files/pos/bug0599.scala b/test/files/pos/bug0599.scala new file mode 100644 index 0000000000..885159af66 --- /dev/null +++ b/test/files/pos/bug0599.scala @@ -0,0 +1,18 @@ +abstract class FooA { + type A <: Ax; + abstract class Ax; + abstract class InnerA { + type B <: A; + def doB : B; + } + } + trait FooB extends FooA { + type A <: Ax; + trait Ax extends super.Ax { def xxx : Int; } + abstract class InnerB extends InnerA { + // type B <: A; + val a : A = doB; + a.xxx; + doB.xxx; + } + } |