Fix #13819 by refactoring TypeEqOrigin.uo_thing
[ghc.git] / testsuite / tests / typecheck / should_fail / T11672.stderr
1
2 T11672.hs:9:10: error:
3     • Couldn't match kind ‘*’ with ‘Symbol’
4       When matching types
5         a0 :: Symbol
6         Int -> Bool :: *
7       Expected type: Proxy a0
8         Actual type: Proxy (Int -> Bool)
9     • In the first argument of ‘f’, namely
10         ‘(Proxy :: Proxy (Int -> Bool))’
11       In the expression: f (Proxy :: Proxy (Int -> Bool))
12       In an equation for ‘f’: f _ = f (Proxy :: Proxy (Int -> Bool))