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