super_errors_multi: cover includecore Variant_representation via different @as tag types

JonoPrest · JonoPrest · commit 24cef5950268 · 2026-05-20T10:57:29.000+02:00
diff --git a/tests/build_tests/super_errors_multi/expected/Iface_unboxed_variant_mismatch.expected b/tests/build_tests/super_errors_multi/expected/Iface_unboxed_variant_mismatch.expected
@@ -1,21 +1,20 @@
 ===== Foo.res =====
 
   [1;31mWe've found a bug for you![0m
-  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.res[0m:[2m1:1-2:13[0m
+  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.res[0m:[2m1:1-18[0m
 
-  [1;31m1[0m [2m│[0m [1;31mtype t =[0m
-  [1;31m2[0m [2m│[0m [1;31m  | Wrap(int)[0m
-  3 [2m│[0m 
+  [1;31m1[0m [2m│[0m [1;31mtype t = Wrap(int)[0m
+  2 [2m│[0m 
 
   The implementation /.../fixtures/Iface_unboxed_variant_mismatch/Foo.res
   does not match the interface /.../fixtures/Iface_unboxed_variant_mismatch/foo.cmi:
   Type declarations do not match:
     type t = Wrap(int)
   is not included in
     @unboxed type t = Wrap(int)
-  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.resi[0m:[2m2:1-3:13[0m:
+  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.resi[0m:[2m2:1-18[0m:
     Expected declaration
-  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.res[0m:[2m1:1-2:13[0m:
+  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.res[0m:[2m1:1-18[0m:
     Actual declaration
   Their internal representations differ:
   the second declaration uses unboxed representation.
diff --git a/tests/build_tests/super_errors_multi/expected/Iface_variant_representation_mismatch.expected b/tests/build_tests/super_errors_multi/expected/Iface_variant_representation_mismatch.expected
@@ -0,0 +1,21 @@
+===== Foo.res =====
+
+  [1;31mWe've found a bug for you![0m
+  [36m/.../fixtures/Iface_variant_representation_mismatch/Foo.res[0m:[2m1:1-3:5[0m
+
+  [1;31m1[0m [2m│[0m [1;31mtype t =[0m
+  [1;31m2[0m [2m│[0m [1;31m  | @as(0) A[0m
+  [1;31m3[0m [2m│[0m [1;31m  | B[0m
+  4 [2m│[0m 
+
+  The implementation /.../fixtures/Iface_variant_representation_mismatch/Foo.res
+  does not match the interface /.../fixtures/Iface_variant_representation_mismatch/foo.cmi:
+  Type declarations do not match:
+    type t = @as(0) A | B
+  is not included in
+    type t = @as("zero") A | B
+  [36m/.../fixtures/Iface_variant_representation_mismatch/Foo.resi[0m:[2m1:1-3:5[0m:
+    Expected declaration
+  [36m/.../fixtures/Iface_variant_representation_mismatch/Foo.res[0m:[2m1:1-3:5[0m:
+    Actual declaration
+  The internal representations for case A are not equal.
diff --git a/tests/build_tests/super_errors_multi/fixtures/Iface_variant_representation_mismatch/Foo.res b/tests/build_tests/super_errors_multi/fixtures/Iface_variant_representation_mismatch/Foo.res
@@ -0,0 +1,3 @@
+type t =
+  | @as(0) A
+  | B
diff --git a/tests/build_tests/super_errors_multi/fixtures/Iface_variant_representation_mismatch/Foo.resi b/tests/build_tests/super_errors_multi/fixtures/Iface_variant_representation_mismatch/Foo.resi
@@ -0,0 +1,3 @@
+type t =
+  | @as("zero") A
+  | B

-Original file line number
+Diff line change
@@ @@ -1,21 +1,20 @@ @@
 ===== Foo.res =====
   [1;31mWe've found a bug for you![0m
 -  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.res[0m:[2m1:1-2:13[0m
 +  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.res[0m:[2m1:1-18[0m
 -  [1;31m1[0m [2m│[0m [1;31mtype t =[0m
 -  [1;31m2[0m [2m│[0m [1;31m  | Wrap(int)[0m
 -  3 [2m│[0m
 +  [1;31m1[0m [2m│[0m [1;31mtype t = Wrap(int)[0m
 +  2 [2m│[0m
   The implementation /.../fixtures/Iface_unboxed_variant_mismatch/Foo.res
   does not match the interface /.../fixtures/Iface_unboxed_variant_mismatch/foo.cmi:
   Type declarations do not match:
     type t = Wrap(int)
   is not included in
     @unboxed type t = Wrap(int)
 -  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.resi[0m:[2m2:1-3:13[0m:
 +  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.resi[0m:[2m2:1-18[0m:
     Expected declaration
 -  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.res[0m:[2m1:1-2:13[0m:
 +  [36m/.../fixtures/Iface_unboxed_variant_mismatch/Foo.res[0m:[2m1:1-18[0m:
     Actual declaration
   Their internal representations differ:
   the second declaration uses unboxed representation.
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+type t =`
	`2`	`+ \| @as("zero") A`
	`3`	`+ \| B`