From 110b737f99c4e4850f9a0f861db6b9f831ae056e Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sun, 16 Aug 2009 16:29:36 +0000 Subject: 1. 2. Relaxed bounds checking rules for existential types. --- test/files/pos/t1560.scala | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100755 test/files/pos/t1560.scala (limited to 'test') diff --git a/test/files/pos/t1560.scala b/test/files/pos/t1560.scala new file mode 100755 index 0000000000..49cdaaed6a --- /dev/null +++ b/test/files/pos/t1560.scala @@ -0,0 +1,13 @@ +object Test extends Application { + + trait C[T] { + def t: T + } + + def b: Option[C[x] forSome { type x }] = null + + def c = b match { + case Some(b) => b.t + } + +} -- cgit v1.2.3