purescript-0.7.2.0: examples/failing/OverlappingBinders.purs

-- @shouldFailWith OverlappingArgNames
module OverlappingBinders where

import Prelude

data S a = S a (S a)

f x = case x of
  (S y (S y@(S z zs))) -> y