From 02550b2be341217162549fd3e45ef33b7532c0f3 Mon Sep 17 00:00:00 2001 From: mihaylov Date: Tue, 17 Apr 2007 12:05:31 +0000 Subject: Moved some test from pending/ to files/ --- test/files/pos/bug0599.scala | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 test/files/pos/bug0599.scala (limited to 'test/files/pos/bug0599.scala') 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; + } + } -- cgit v1.2.3