Merge pull request #1399 from dotty-staging/fix-patmat-typing

Fix typing of match expressions

2 files changed, 25 insertions, 0 deletions

diff --git a/tests/neg/i1212.scala b/tests/neg/i1212.scala
new file mode 100644
index 000000000..b009a4d2c
--- /dev/null
+++ b/tests/neg/i1212.scala
@@ -0,0 +1 @@
+@ann class ann extends scala.annotation.Annotation // error: cyclic reference
diff --git a/tests/neg/patmat.scala b/tests/neg/patmat.scala
new file mode 100644
index 000000000..1e72c104a
--- /dev/null
+++ b/tests/neg/patmat.scala
@@ -0,0 +1,24 @@
+trait A
+trait B
+class C extends A with B
+case class D()
+object X {
+  def unapply(x: B): Boolean = false
+}
+
+object Test {
+  def main(args: Array[String]) = {
+    val ca: A = new C
+    ca match {
+      case x: B =>
+      case X() =>
+      case D() => // ok, but scalac disagrees
+    }
+    val cc = new C
+    cc match {
+      case x: B =>
+      case X() =>
+      case D() =>  // error: neither a subtype not a supertype
+    }
+  }
+}