diff --git a/regression.1ml b/regression.1ml
index 7a2f6ea7..3a61bfc2 100644
--- a/regression.1ml
+++ b/regression.1ml
@@ -39,6 +39,16 @@ typparams_allowed (id 'a: a => a) ({alsoId 'x: x => x}) =
 
 ;;
 
+type_error {
+  inconsistent_empty_and_annpat ({}: int) = ();
+};
+
+type_error {
+  inconsistent_nested_annpats ((x: int): text) = ();
+};
+
+;;
+
 type_error { type_error 101 };
 
 ;;