diff --git a/tests/positive/ConstructorWildcard.juvix b/tests/positive/ConstructorWildcard.juvix
index 1db70c615c..1698e294ea 100644
--- a/tests/positive/ConstructorWildcard.juvix
+++ b/tests/positive/ConstructorWildcard.juvix
@@ -10,3 +10,7 @@ type either (A B : Type) :=
 isLeft {A B} : either A B → Bool
  | left@{} := true
  | right@{} := false;
+
+not : Bool → Bool
+ | false@{} := true
+ | true := false;