:white_check_mark: Test nonnull void

diff --git a/tests/nonnull/void_nonnull.gw b/tests/nonnull/void_nonnull.gw
new file mode 100644 (file)
index 0000000..4ad08a5
--- /dev/null
+++ b/tests/nonnull/void_nonnull.gw
@@ -0,0 +1,2 @@
+#! [contains] void types can't be nonnull
+void! i;