merge main into work/line-tables

1 files changed, 5 insertions, 0 deletions

diff --git a/tests/conformance/4-statements/switch_two_defaults.zc b/tests/conformance/4-statements/switch_two_defaults.zc
new file mode 100644
index 0000000..e1f4f90
--- /dev/null
+++ b/tests/conformance/4-statements/switch_two_defaults.zc
@@ -0,0 +1,5 @@
+// expect error: a switch has one default
+// spec 4.7.1
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() { int k = 1; switch (k) { default: pn(1); default: pn(2); } return 0; }