209e2af3e32ccbdbe69f5a282289d11793bafb9c
[ghc.git] / testsuite / tests / indexed-types / should_fail / Overlap6.stderr
1 \r
2 Overlap6.hs:15:7:\r
3     Couldn't match type ‘x’ with ‘And x 'True’\r
4       ‘x’ is a rigid type variable bound by\r
5           the type signature for g :: Proxy x -> Proxy (And x 'True)\r
6           at Overlap6.hs:14:6\r
7     Expected type: Proxy (And x 'True)\r
8       Actual type: Proxy x\r
9     Relevant bindings include\r
10       x :: Proxy x (bound at Overlap6.hs:15:3)\r
11       g :: Proxy x -> Proxy (And x 'True) (bound at Overlap6.hs:15:1)\r
12     In the expression: x\r
13     In an equation for ‘g’: g x = x\r