testsuite: test "no intersection" error message
testsuite: test "no intersection" error message

test the error message for non-intersecting polymorphic variant types.

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