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

(* 'pat binder not (yet?) allowed in parameters of inductive types *)

Fail Inductive X '(a,b) := x.