3 files changed, 30 insertions, 0 deletions
diff --git a/testsuite/tests/rename/should_fail/T11592.hs b/testsuite/tests/rename/should_fail/T11592.hs
new file mode 100644
index 0000000000..b963cdf8ba
--- /dev/null
+++ b/testsuite/tests/rename/should_fail/T11592.hs
@@ -0,0 +1,10 @@
+{-# LANGUAGE TypeInType #-}
+
+module Bug11592 where
+
+data A (a :: a) = MkA String
+
+data B b (a :: a b) = MkB String
+data C b (a :: b a) = MkC String
+
+data D b c (a :: c a b) = MkD String
diff --git a/testsuite/tests/rename/should_fail/T11592.stderr b/testsuite/tests/rename/should_fail/T11592.stderr
new file mode 100644
index 0000000000..bffea1cca7
--- /dev/null
+++ b/testsuite/tests/rename/should_fail/T11592.stderr
@@ -0,0 +1,19 @@
+T11592.hs:5:9:
+    Variable ‘a’ is used in the kind signature of its
+    declaration as a type variable.
+    the data type declaration for ‘A’
+
+T11592.hs:7:11:
+    Variable ‘a’ is used in the kind signature of its
+    declaration as a type variable.
+    the data type declaration for ‘B’
+
+T11592.hs:8:11:
+    Variable ‘a’ is used in the kind signature of its
+    declaration as a type variable.
+    the data type declaration for ‘C’
+
+T11592.hs:10:13:
+    Variable ‘a’ is used in the kind signature of its
+    declaration as a type variable.
+    the data type declaration for ‘D’
diff --git a/testsuite/tests/rename/should_fail/all.T b/testsuite/tests/rename/should_fail/all.T
index d42ca5675f..05fc5e496e 100644
--- a/testsuite/tests/rename/should_fail/all.T
+++ b/testsuite/tests/rename/should_fail/all.T
@@ -142,4 +142,5 @@ test('T11663', normal, compile_fail, [''])
 test('T12229', normal, compile, [''])
 test('T12681', normal, multimod_compile_fail, ['T12681','-v0'])
 test('T12686', normal, compile_fail, [''])
+test('T11592', normal, compile_fail, [''])
 test('T12879', normal, compile_fail, [''])