(* Missing set allowDiffPatterns = true *)

channel c.

process
      in(c, in_t: bitstring);
      let diff[y,z] = in_t in
      out(c, diff[y,z])

(* EXPECTPV
Error: diff or choice is allowed in patterns only when the setting allowDiffPatterns is true.
xtime: error in child process (status : 2)
END *)
