path: root/test-suite/bugs/opened/3304.v

Fail Notation "( x , y , .. , z )" := $(let r := constr:(prod .. (prod x y) .. z) in r)$.
(* The command has indeed failed with message:
=> Error: Special token .. is for use in the Notation command. *)