summaryrefslogtreecommitdiff
path: root/test/files/run/existentials.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2007-06-19 12:17:32 +0000
committerMartin Odersky <odersky@gmail.com>2007-06-19 12:17:32 +0000
commitc184cc70967086343dccef06737b641f9903580c (patch)
treeb028daf6ad1635e8e5d2c4ac320cf1a8163787b3 /test/files/run/existentials.scala
parent6d5979b71423b55121c582786e5d052c1419ac41 (diff)
downloadscala-c184cc70967086343dccef06737b641f9903580c.tar.gz
scala-c184cc70967086343dccef06737b641f9903580c.tar.bz2
scala-c184cc70967086343dccef06737b641f9903580c.zip
fixed test file; fixed Long/Long bug
Diffstat (limited to 'test/files/run/existentials.scala')
-rwxr-xr-xtest/files/run/existentials.scala11
1 files changed, 10 insertions, 1 deletions
diff --git a/test/files/run/existentials.scala b/test/files/run/existentials.scala
index 3d51751996..76dd705380 100755
--- a/test/files/run/existentials.scala
+++ b/test/files/run/existentials.scala
@@ -12,8 +12,17 @@ trait Counter[T] {
def newCounter: T
def get(i: T): Int
def inc(i: T): T
- }
+}
+
+case class C[T](x: T)
+object LUB {
+ def x = C(1)
+ def y = C("abc")
+ var coinflip: boolean = _
+ def z = if (coinflip) x else y
+ def zz: C[_1] for_some { type _1 >: Int with java.lang.String } = z
+}
object Test extends Application {
def foo(x : Counter[T] { def name : String } for_some { type T }) = x match {