1 files changed, 11 insertions, 0 deletions
diff --git a/test/typecheck/pass/pat_completeness.sail b/test/typecheck/pass/pat_completeness.sail
new file mode 100644
index 00000000..fd4a7757
--- /dev/null
+++ b/test/typecheck/pass/pat_completeness.sail
@@ -0,0 +1,11 @@
+union option ('a : Type) = {None, Some : 'a}
+
+union ast = {Foo : unit}
+
+let x : option(ast) = Some(Foo)
+
+let y : unit = match(x) {
+  Some(Foo) => (),
+  Some(a)   => (),
+  None      => ()
+}
+\ No newline at end of file