From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Thu, 10 Oct 2019 11:20:48 +0000 (+0200)
Subject: :art: Test call nonnull
X-Git-Tag: nightly~2198^2~31
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=e4e1c91df4a9fe0672513b7d69f3f76bc4be15c8;p=gwion.git

:art: Test call nonnull
---

diff --git a/tests/tree/call_nonnull.gw b/tests/tree/call_nonnull.gw
new file mode 100644
index 00000000..1402c57b
--- /dev/null
+++ b/tests/tree/call_nonnull.gw
@@ -0,0 +1,3 @@
+typedef void test_t<~A~>();
+test_t !t;
+t<~int~>();