Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / T12177.hs
1 module Foo where
2
3 bar = \x -> \x -> _
4
5 baz = \x -> \y -> \z -> \x -> \z -> _