path: root/test-suite/bugs/closed/4318.v

(* Check no anomaly is raised *)
Fail Definition foo p := match p with (x, y) z => tt end.