Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / T11698.stderr
1
2 T11698.hs:4:17: error:
3     • Couldn't match expected type ‘Char’ with actual type ‘Bool’
4     • In the first argument of ‘k’, namely ‘True’
5       In the expression: k True
6       In the expression: (k 'v', k True)
7