diff --git a/racket/typed/tests/var-assert.rkt b/racket/typed/tests/var-assert.rkt
new file mode 100644
index 0000000..c36463d
--- /dev/null
+++ b/racket/typed/tests/var-assert.rkt
@@ -0,0 +1,11 @@
+#lang typed/syndicate
+
+(require rackunit/turnstile)
+
+(check-type
+ (role-strings
+  (start-facet X
+    (field [state Bool #t])
+    (assert (tuple (! state)))))
+  : (List String)
+  -> (list "(Role (X) (VarAssert state (--> (U False True) (Tuple (U False True))) (--> False (Tuple False)) (--> True (Tuple True))))"))