testsuite: add an example of pattern with an ambiguous type escaping its scope
testsuite: add an example of pattern with an ambiguous type escaping its scope

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml