testsuite/tests/dependent/should_fail/T15825.stderr


1
2
3
4
5
6


T15825.hs:14:29: error:
    • Illegal type synonym family application ‘GHC.Types.Any
                                                 @k’ in instance:
        X (a @(GHC.Types.Any @k))
    • In the instance declaration for ‘X (a :: *)’