[test] Add more tests for match errors on variants

titzer · Jan 11, 2024 · 2e49a4b · 2e49a4b
1 parent 30e2732
commit 2e49a4b
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/test/variants/seman/match_err05.v3 b/test/variants/seman/match_err05.v3
@@ -0,0 +1,11 @@
+//@seman = MatchError @ 9:17
+type X {
+	case A(y: int);
+	case B(y: int);
+}
+def foo(x: Y) -> int {
+	match (x) {
+		A(y) => return y;
+		C(y) => return y;
+	}
+}