;; ConflictingPatVarDefs

(data IntPair (IntPair Int Int))

(define conflicting-defs-in-pat
  (match (IntPair 1 2)
    (case (IntPair a a) a)))