Test match with sub sub cases and catch with sub cases

Author: EugeneFlesselle

tests/pos/sub-sub-match.scala

@@ -0,0 +1,20 @@
+import scala.language.experimental.matchWithSubCases
+
+object Test:
+  val x: Option[Option[Int]] = ???
+  x match
+    case Some(x2) with x2 match
+      case Some(x3) with x3 match
+        case 1 => "a"
+        case 2 => "b"
+    case None => "d"
+
+  x match {
+    case Some(x2) with x2 match {
+      case Some (x3) with x3 match {
+        case 1 => "a"
+        case 2 => "b"
+      }
+    }
+    case None => "d"
+  }

tests/run/sub-catch.scala

@@ -0,0 +1,30 @@
+import scala.language.experimental.matchWithSubCases
+
+enum E extends Exception:
+  case A(x: Any)
+  case B(x: Any)
+  case C
+
+end E
+import E.*
+
+def test(op: => Nothing): String =
+  try op catch
+    case A(x: Int) if true with x match
+      case 1 => "A(1)"
+      case 2 => "A(2)"
+    case B(x: String) with x match
+      case "a" => "B(a)"
+      case "b" => "B(b)"
+    case _ => "other"
+end test
+
+@main def Test =
+
+  def check(e: E, r: String): Unit = assert(test(throw e) == r)
+
+  check(A(1), "A(1)")
+  check(A(2), "A(2)")
+  check(A(3), "other")
+  check(B("b"), "B(b)")
+  check(B(1), "other")