1.

2. Relaxed bounds checking rules for existential types.

1 files changed, 13 insertions, 0 deletions

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
+  }
+
+}