diff options
Diffstat (limited to 'test/files/pos/t599.scala')
-rw-r--r-- | test/files/pos/t599.scala | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/files/pos/t599.scala b/test/files/pos/t599.scala new file mode 100644 index 0000000000..968e2deaee --- /dev/null +++ b/test/files/pos/t599.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; + } + } |