From dceda6e34775cf59ebcd94b7d47427a8e67c3e25 Mon Sep 17 00:00:00 2001 From: Gilles Dubochet Date: Thu, 26 Jan 2006 09:32:34 +0000 Subject: Added Martin's additional test cases. --- test/files/neg/bug510.scala | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100755 test/files/neg/bug510.scala (limited to 'test/files/neg/bug510.scala') diff --git a/test/files/neg/bug510.scala b/test/files/neg/bug510.scala new file mode 100755 index 0000000000..a1cd2df009 --- /dev/null +++ b/test/files/neg/bug510.scala @@ -0,0 +1,26 @@ +abstract class C { + + type T <: Any; + +} + +abstract class D[S <: C](_c: S) extends C { + + val c: S = _c; + type T <: c.T; + +} + +abstract class E(e: E) extends D[E](e); + +object Test { + + def f(e: E): Unit = { + def g(t: e.T): Unit = { + val i: Int = t; + () + } + () + } + +} -- cgit v1.2.3