testsuite/tests/dependent/should_fail/PromotedClass.stderr


1
2
3
4
5
6


PromotedClass.hs:10:15: error:
    • Illegal constraint in a type: Show a0
    • In the first argument of ‘Proxy’, namely ‘MkX True’
      In the type signature:
        foo :: Proxy (MkX True)