update to current master againwip/T13904

1 files changed, 18 insertions, 0 deletions

diff --git a/testsuite/tests/gadt/T12087.hs b/testsuite/tests/gadt/T12087.hs
new file mode 100644
index 0000000000..e56240c2a4
--- /dev/null
+++ b/testsuite/tests/gadt/T12087.hs
@@ -0,0 +1,18 @@
+{-# LANGUAGE GADTs #-}
+{-# LANGUAGE RankNTypes #-}
+module T12087 where
+
+data F1 a where
+  MkF1 :: Ord a => Eq a => a -> F1 a
+
+data F2 a where
+  MkF2 :: Ord a => a -> Eq a => F2 a
+
+data F3 a where
+  MkF3 :: forall a. Eq a => a -> forall b. Eq b => b -> F3 a
+
+data F4 a where
+  MkF4 :: forall a b. Eq a => a -> Eq b => b -> F4 a
+
+data F5 a where
+  MkF5 :: Int -> Int -> forall a. a -> Int -> Int -> forall b. b -> F5 a