Test Trac #5798

testsuite/tests/polykinds/T5798.hs

+{-# LANGUAGE PolyKinds #-}
+
+module T5798 where
+
+data Proxy t = ProxyC
+
+test :: Proxy '[Int, Bool]
+test = ProxyC

testsuite/tests/polykinds/all.T

@@ -16,3 +16,5 @@ test('PolyKinds06', normal, compile_fail, [''])
 test('PolyKinds07', normal, compile_fail, [''])
 
 test('PolyKinds12', expect_fail, compile, [''])
+
+test('T5798', normal, compile, [''])