Merge pull request #309 from dotty-staging/fix/#306-avoidance-problem

Avpid returning ExprTypes from blocks.

1 files changed, 17 insertions, 0 deletions

diff --git a/tests/pos/i0306.scala b/tests/pos/i0306.scala
new file mode 100644
index 000000000..5a242fa83
--- /dev/null
+++ b/tests/pos/i0306.scala
@@ -0,0 +1,17 @@
+object bar {
+
+  class C[T <: Seq[_]]
+
+  val x: AnyRef = new C
+
+  val y = x match {
+    case x: C[u] =>
+      def xx: u = xx
+      xx
+  }
+
+  val z= {
+    def xx: String = xx
+    xx
+  }
+}