add fixture tests for polyvariant to variant coercion

Author: zth

jscomp/build_tests/super_errors/expected/variant_coercion_open_polyvariant.res.expected

@@ -0,0 +1,10 @@
+
+  We've found a bug for you!
+  /.../fixtures/variant_coercion_open_polyvariant.res:5:19-30
+
+  3 │ let p = #One
+  4 │ 
+  5 │ let v: variant = (p :> variant)
+  6 │ 
+
+  Type [> #One] is not a subtype of variant

jscomp/build_tests/super_errors/expected/variant_coercion_polyvariant_mismatch_as_attribute.res.expected

@@ -0,0 +1,10 @@
+
+  We've found a bug for you!
+  /.../fixtures/variant_coercion_polyvariant_mismatch_as_attribute.res:7:19-30
+
+  5 │ let p: poly = #One
+  6 │ 
+  7 │ let v: variant = (p :> variant)
+  8 │ 
+
+  Type poly = [#One | #Two] is not a subtype of variant

jscomp/build_tests/super_errors/expected/variant_coercion_polyvariant_mismatch_as_attribute2.res.expected

@@ -0,0 +1,10 @@
+
+  We've found a bug for you!
+  /.../fixtures/variant_coercion_polyvariant_mismatch_as_attribute2.res:7:19-30
+
+  5 │ let p: poly = #One
+  6 │ 
+  7 │ let v: variant = (p :> variant)
+  8 │ 
+
+  Type poly = [#One | #Two] is not a subtype of variant

jscomp/build_tests/super_errors/expected/variant_coercion_polyvariant_unmatched_cases.res.expected

@@ -0,0 +1,10 @@
+
+  We've found a bug for you!
+  /.../fixtures/variant_coercion_polyvariant_unmatched_cases.res:7:19-30
+
+  5 │ let p: poly = #One
+  6 │ 
+  7 │ let v: variant = (p :> variant)
+  8 │ 
+
+  Type poly = [#One | #Two] is not a subtype of variant

jscomp/build_tests/super_errors/expected/variant_coercion_polyvariant_with_payload.res.expected

@@ -0,0 +1,10 @@
+
+  We've found a bug for you!
+  /.../fixtures/variant_coercion_polyvariant_with_payload.res:7:19-30
+
+  5 │ let p: poly = #One
+  6 │ 
+  7 │ let v: variant = (p :> variant)
+  8 │ 
+
+  Type poly = [#One | #Two(string)] is not a subtype of variant

jscomp/build_tests/super_errors/fixtures/variant_coercion_open_polyvariant.res

@@ -0,0 +1,5 @@
+type variant = One | Two
+
+let p = #One
+
+let v: variant = (p :> variant)

jscomp/build_tests/super_errors/fixtures/variant_coercion_polyvariant_mismatch_as_attribute.res

@@ -0,0 +1,7 @@
+type poly = [#One | #Two]
+
+type variant = One | @as("two") Two
+
+let p: poly = #One
+
+let v: variant = (p :> variant)

jscomp/build_tests/super_errors/fixtures/variant_coercion_polyvariant_mismatch_as_attribute2.res

@@ -0,0 +1,7 @@
+type poly = [#One | #Two]
+
+type variant = One | @as(2) Two
+
+let p: poly = #One
+
+let v: variant = (p :> variant)

jscomp/build_tests/super_errors/fixtures/variant_coercion_polyvariant_unmatched_cases.res

@@ -0,0 +1,7 @@
+type poly = [#One | #Two]
+
+type variant = One
+
+let p: poly = #One
+
+let v: variant = (p :> variant)

jscomp/build_tests/super_errors/fixtures/variant_coercion_polyvariant_with_payload.res

@@ -0,0 +1,7 @@
+type poly = [#One | #Two(string)]
+
+type variant = One | Two
+
+let p: poly = #One
+
+let v: variant = (p :> variant)