path: root/testsuite/tests/dependent/should_fail/T11473.stderr

T11473.hs:19:7: error:
    A levity-polymorphic type is not allowed here:
      Type: a
      Kind: TYPE r
    In the type of binder ‘x’