1 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/patsyn/should_compile/T11224b.hs b/testsuite/tests/patsyn/should_compile/T11224b.hs
new file mode 100644
index 0000000000..89fb764005
--- /dev/null
+++ b/testsuite/tests/patsyn/should_compile/T11224b.hs
@@ -0,0 +1,17 @@
+{-# LANGUAGE PatternSynonyms, GADTs, RankNTypes #-}
+
+module T11224b where
+
+data T b where
+  MkT :: a -> b -> T b
+
+-- Should be fine!
+-- pattern P :: c -> d -> T d
+pattern P :: forall d. forall c. c -> d -> T d
+pattern P x y <- MkT x y
+
+
+
+
+
+