diff options
author | Martin Odersky <odersky@gmail.com> | 2006-05-31 09:47:38 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-05-31 09:47:38 +0000 |
commit | 23904f63552d7cb98865d5a07101e2e9795d2ad1 (patch) | |
tree | 897cd8dfd243c5921570ebd1c091c111cf146d5a /test/pending/pos/bug599.scala | |
parent | cab784ad14708b1c2b95d8af44b20f802667e7b2 (diff) | |
download | scala-23904f63552d7cb98865d5a07101e2e9795d2ad1.tar.gz scala-23904f63552d7cb98865d5a07101e2e9795d2ad1.tar.bz2 scala-23904f63552d7cb98865d5a07101e2e9795d2ad1.zip |
fixed bugs 616, 617
Diffstat (limited to 'test/pending/pos/bug599.scala')
-rw-r--r-- | test/pending/pos/bug599.scala | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/pending/pos/bug599.scala b/test/pending/pos/bug599.scala new file mode 100644 index 0000000000..885159af66 --- /dev/null +++ b/test/pending/pos/bug599.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; + } + } |