Visible kind application
[ghc.git] / testsuite / tests / typecheck / should_fail / T12045b.stderr
1
2 T12045b.hs:7:6: error:
3     • Cannot apply function of kind ‘*’
4       to visible kind argument ‘Type’
5     • In the type signature: x :: Int @Type