diff options
author | Martin Odersky <odersky@gmail.com> | 2006-10-31 09:51:45 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-10-31 09:51:45 +0000 |
commit | e02fed8e7df8aebe1ee96b3dc23b805c1171afd2 (patch) | |
tree | 2b9c7830429738f035ee88b8b25d12f2c4985e2f /test/files/pos/bug599.scala | |
parent | dd9a27c37f40655dc467f71fd6e3539bd88afe22 (diff) | |
download | scala-e02fed8e7df8aebe1ee96b3dc23b805c1171afd2.tar.gz scala-e02fed8e7df8aebe1ee96b3dc23b805c1171afd2.tar.bz2 scala-e02fed8e7df8aebe1ee96b3dc23b805c1171afd2.zip |
fixed bugs 599 and 757
Diffstat (limited to 'test/files/pos/bug599.scala')
-rw-r--r-- | test/files/pos/bug599.scala | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/files/pos/bug599.scala b/test/files/pos/bug599.scala new file mode 100644 index 0000000000..968e2deaee --- /dev/null +++ b/test/files/pos/bug599.scala @@ -0,0 +1,19 @@ +abstract class FooA { + type A <: AxA; + abstract class AxA; + abstract class InnerA { + type B <: A; + def doB : B; + } + } + trait FooB extends FooA { + type A <: AxB; + trait AxB extends AxA { def xxx : Int; } + abstract class InnerB extends InnerA { + // type B <: A; + val a : A = doB; + a.xxx; + val aaa: InnerB.this.B = doB + aaa.xxx; + } + } |