testsuite/tests/dependent/should_fail/T16391b.stderr


1
2
3
4
5
6
7


T16391b.hs:10:8: error:
    • Expected a type, but ‘T r’ has kind ‘TYPE r’
      ‘r’ is a rigid type variable bound by
        the type signature for ‘foo’
        at T16391b.hs:10:1-10
    • In the type signature: foo :: T r