diff options
author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2006-01-26 09:32:34 +0000 |
---|---|---|
committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2006-01-26 09:32:34 +0000 |
commit | dceda6e34775cf59ebcd94b7d47427a8e67c3e25 (patch) | |
tree | d4df8cd5c865c01c767ef1888608a1a299ebddc5 /test/files/neg/bug510.scala | |
parent | 3d222bdcde70fd1c87bab840ae521bf51a811d5d (diff) | |
download | scala-dceda6e34775cf59ebcd94b7d47427a8e67c3e25.tar.gz scala-dceda6e34775cf59ebcd94b7d47427a8e67c3e25.tar.bz2 scala-dceda6e34775cf59ebcd94b7d47427a8e67c3e25.zip |
Added Martin's additional test cases.
Diffstat (limited to 'test/files/neg/bug510.scala')
-rwxr-xr-x | test/files/neg/bug510.scala | 26 |
1 files changed, 26 insertions, 0 deletions
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; + () + } + () + } + +} |