diff options
author | Martin Odersky <odersky@gmail.com> | 2007-07-23 18:22:29 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-07-23 18:22:29 +0000 |
commit | 16d3cf1f8f22c04559145b35bb5f6c0aacfb0d8c (patch) | |
tree | 75b5420467e9dae2ef88d6a4aca220b0f907fa2f /test/files/run/existentials.scala | |
parent | 2d3a640e0bff8c79f99c070cf33f9ef921642a18 (diff) | |
download | scala-16d3cf1f8f22c04559145b35bb5f6c0aacfb0d8c.tar.gz scala-16d3cf1f8f22c04559145b35bb5f6c0aacfb0d8c.tar.bz2 scala-16d3cf1f8f22c04559145b35bb5f6c0aacfb0d8c.zip |
many bug fixes; short syntax for structural types.
Diffstat (limited to 'test/files/run/existentials.scala')
-rwxr-xr-x | test/files/run/existentials.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/files/run/existentials.scala b/test/files/run/existentials.scala index a08a9da9b3..9dc9855a75 100755 --- a/test/files/run/existentials.scala +++ b/test/files/run/existentials.scala @@ -52,6 +52,9 @@ object Bug1189 { object Test extends Application { + val x = { class I[T]; (new C(new I[String]), new C(new I[Int])) } + val y: (C[X], C[Y]) forSome { type X; type Y } = x + def foo(x : Counter[T] { def name : String } forSome { type T }) = x match { case ctr: Counter[t] => val c = ctr.newCounter |