testsuite/tests/partial-sigs/should_compile/T20076.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE FlexibleContexts, PartialTypeSignatures #-}

module Bug where

f :: Eq [a] => a -> _
f x = [x] == [x]

-- See Note [Constraints in partial type signatures] in
-- GHC.Tc.Solver, in particular the bullet about (P2).