Failing test for #13149.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

2 files changed, 18 insertions, 0 deletions

diff --git a/testsuite/tests/backpack/should_compile/T13149.bkp b/testsuite/tests/backpack/should_compile/T13149.bkp
new file mode 100644
index 0000000000..cdaf767ab9
--- /dev/null
+++ b/testsuite/tests/backpack/should_compile/T13149.bkp
@@ -0,0 +1,16 @@
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE TypeInType #-}
+unit p where
+    signature A where
+        import GHC.Types
+        type family F a where
+          F Bool = Type
+    module B where
+        import A
+        foo :: forall (a :: F Bool). a -> a
+        foo x = x
+unit q where
+    dependency p[A=<A>]
+    module C where
+        import B
diff --git a/testsuite/tests/backpack/should_compile/all.T b/testsuite/tests/backpack/should_compile/all.T
index 9897c037a3..e7834df464 100644
--- a/testsuite/tests/backpack/should_compile/all.T
+++ b/testsuite/tests/backpack/should_compile/all.T
@@ -42,3 +42,5 @@ test('bkp47', normal, backpack_compile, [''])
 test('bkp48', normal, backpack_compile, [''])
 test('bkp49', normal, backpack_compile, [''])
 test('bkp50', normal, backpack_compile, [''])
+
+test('T13149', expect_broken(13149), backpack_compile, [''])