From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Tue, 8 Oct 2019 11:29:55 +0000 (+0200)
Subject: :white_check_mark: Test nonnull void
X-Git-Tag: nightly~2198^2~106
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=a47594d44091a89a9665658b3e46d2894d1557af;p=gwion.git

:white_check_mark: Test nonnull void
---

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