Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / TcCoercibleFail2.stderr
1
2 TcCoercibleFail2.hs:5:10: error:
3     Illegal instance declaration for ‘Coercible () ()’
4       Manual instances of this class are not permitted.
5     In the instance declaration for ‘Coercible () ()’