ghc/tests/deSugar/should_compile/ds003.stderr

   1
   2 ds003.hs:5: Warning: Pattern match(es) are overlapped
   3     In the definition of `f':
   4         f (x : (x1 : (x2 : x3))) ~(y, ys) z = ...
   5         f x y True = ...