diff --git a/testsuite/tests/rename/should_compile/T18302A.hs b/testsuite/tests/rename/should_compile/T18302A.hs
new file mode 100644
index 0000000000000000000000000000000000000000..7df51aa3ea3dd546d25a02da9ecb163d7827a2c5
--- /dev/null
+++ b/testsuite/tests/rename/should_compile/T18302A.hs
@@ -0,0 +1,4 @@
+module T18302A ( module GHC.Prim ) where
+
+import GHC.Prim
+
diff --git a/testsuite/tests/rename/should_compile/T18302B.hs b/testsuite/tests/rename/should_compile/T18302B.hs
new file mode 100644
index 0000000000000000000000000000000000000000..6c8075fa9f2064ed63234f5f604dde64d5f1ed76
--- /dev/null
+++ b/testsuite/tests/rename/should_compile/T18302B.hs
@@ -0,0 +1,8 @@
+-- | Check that TYPE and (->) are re-exportable.
+module T18302B where
+
+import T18302A
+
+type T = TYPE
+type F = (->)
+
diff --git a/testsuite/tests/rename/should_compile/all.T b/testsuite/tests/rename/should_compile/all.T
index ae82bd30c69bff55457644f10ea42e2f36ea5c71..92f186075e0b3184207625e6755f948bc7eb47b7 100644
--- a/testsuite/tests/rename/should_compile/all.T
+++ b/testsuite/tests/rename/should_compile/all.T
@@ -176,3 +176,4 @@ test('T17832', [], multimod_compile, ['T17832M1', 'T17832M2'])
 test('T17837', normal, compile, [''])
 test('T18497', [], makefile_test, ['T18497'])
 test('T18264', [], makefile_test, ['T18264'])
+test('T18302', expect_broken(18302), compile, [''])