Lower precedence for {-# UNPACK #-}
[ghc.git] / testsuite / tests / typecheck / should_fail / T13677.stderr
1
2 T13677.hs:10:8: error:
3     • Expected a constraint, but ‘Dict (Int ~ Int)’ has kind ‘*’
4     • In the type signature: foo :: Dict (Int ~ Int) => Int