diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index 934441d..926268f 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -813,6 +813,9 @@ failing_contracts() ->
                   [<<?Pos(8,12)
                      "Cannot reference stateful function g (at line 8, column 12) in a pattern guard.">>
                   ])
+    , ?TYPE_ERROR(non_boolean_pattern_guard,
+                  [<<?Pos(4,24)
+                     "Cannot unify string\n         and bool\nwhen checking the type of the expression at line 4, column 24\n  \"y\" : string\nagainst the expected type\n  bool">>
                   ])
     ].
 
diff --git a/test/contracts/non_boolean_pattern_guard.aes b/test/contracts/non_boolean_pattern_guard.aes
new file mode 100644
index 0000000..72f7ca0
--- /dev/null
+++ b/test/contracts/non_boolean_pattern_guard.aes
@@ -0,0 +1,4 @@
+contract C =
+  type state = int
+
+  entrypoint init(x) | "y" = 1