testsuite/tests/typecheck/should_fail/ExplicitSpecificity10.stderr


1
2
3
4
5
6


ExplicitSpecificity10.hs:8:10: error: [GHC-95781]
    • Cannot apply expression of type ‘a0 -> a0’
      to a visible type argument ‘Bool’
    • In the expression: unT t @Bool
      In an equation for ‘test’: test t = unT t @Bool