Test #11252 in ghci/scripts/T11252
[ghc.git] / testsuite / tests / ghci / scripts / T11252.script
1 :set -XTypeInType
2 data Proxy1 k (a :: k) = Proxy1
3 :kind Proxy1