make sure coercion is disallowed for dicts

zth · zth · commit 8b40ba05a653 · 2024-09-30T12:13:40.000+02:00
diff --git a/jscomp/build_tests/super_errors/expected/dict_coercion.res.expected b/jscomp/build_tests/super_errors/expected/dict_coercion.res.expected
@@ -0,0 +1,10 @@
+
+  [1;31mWe've found a bug for you![0m
+  [36m/.../fixtures/dict_coercion.res[0m:[2m7:10-30[0m
+
+  5 [2m│[0m type fakeDict<'t> = {anyOtherField?: 't}
+  6 [2m│[0m 
+  [1;31m7[0m [2m│[0m let d = ([1;31mdict :> fakeDict<int>[0m)
+  8 [2m│[0m 
+
+  Type Js.Dict.t<int> = dict<int> is not a subtype of fakeDict<int>
diff --git a/jscomp/build_tests/super_errors/fixtures/dict_coercion.res b/jscomp/build_tests/super_errors/fixtures/dict_coercion.res
@@ -0,0 +1,7 @@
+let dict = Js.Dict.empty()
+dict->Js.Dict.set("someKey1", 1)
+dict->Js.Dict.set("someKey2", 2)
+
+type fakeDict<'t> = {anyOtherField?: 't}
+
+let d = (dict :> fakeDict<int>)

-Original file line number
+Diff line change
@@ @@ -0,0 +1,10 @@ @@
++
 +  [1;31mWe've found a bug for you![0m
 +  [36m/.../fixtures/dict_coercion.res[0m:[2m7:10-30[0m
++
 +  5 [2m│[0m type fakeDict<'t> = {anyOtherField?: 't}
 +  6 [2m│[0m
 +  [1;31m7[0m [2m│[0m let d = ([1;31mdict :> fakeDict<int>[0m)
 +  8 [2m│[0m
++
 +  Type Js.Dict.t<int> = dict<int> is not a subtype of fakeDict<int>