[Super errors] Update tests

Author: chenglou

jscomp/build_tests/super_errors/expected/collections.re.expected

@@ -5,9 +5,7 @@
   1 │ /* wrong type in a list */
   2 │ [1, 2, "Hello"];
 
-  This has type:
-    string
-  But somewhere wanted:
-    int
-
+  This has type: string
+  Somewhere wanted: int
+  
   You can convert string to int with Belt.Int.fromString.

jscomp/build_tests/super_errors/expected/highlighting1.re.expected

@@ -6,9 +6,7 @@
   2 │ 
   3 │ lo";
 
-  This has type:
-    string
-  But somewhere wanted:
-    int
-
+  This has type: string
+  Somewhere wanted: int
+  
   You can convert string to int with Belt.Int.fromString.

jscomp/build_tests/super_errors/expected/highlighting2.re.expected

@@ -7,9 +7,7 @@
   3 ┆ 
   4 ┆ lo";
 
-  This has type:
-    string
-  But somewhere wanted:
-    int
-
+  This has type: string
+  Somewhere wanted: int
+  
   You can convert string to int with Belt.Int.fromString.

jscomp/build_tests/super_errors/expected/highlighting3.re.expected

@@ -7,9 +7,7 @@
   3 │ 
   4 │ loooooooooooooo";
 
-  This has type:
-    string
-  But somewhere wanted:
-    int
-
+  This has type: string
+  Somewhere wanted: int
+  
   You can convert string to int with Belt.Int.fromString.

jscomp/build_tests/super_errors/expected/highlighting5.re.expected

@@ -6,9 +6,7 @@
   2 │ let a: int = "helllllllllllllllllllllllllllllllllllllllllllllllllllllll
       llllllllllllllllllllllllllll";
 
-  This has type:
-    string
-  But somewhere wanted:
-    int
-
+  This has type: string
+  Somewhere wanted: int
+  
   You can convert string to int with Belt.Int.fromString.

jscomp/build_tests/super_errors/expected/primitives1.re.expected

@@ -5,9 +5,7 @@
   1 │ /* got float, wanted int */
   2 │ 2. + 2;
 
-  This has type:
-    float
-  But somewhere wanted:
-    int
-
+  This has type: float
+  Somewhere wanted: int
+  
   You can convert float to int with Belt.Float.toInt.If this is a literal, you want a number without a trailing dot (e.g. 20).

jscomp/build_tests/super_errors/expected/primitives11.re.expected

@@ -0,0 +1,18 @@
+
+  We've found a bug for you!
+  /.../fixtures/primitives11.re:5:11-27
+  
+  3 │ type a = option(aa)
+  4 │ type b = option(bb)
+  5 │ let a:a = (Some(Some(5)):b)
+  
+  This has type: b (defined as option(bb))
+  Somewhere wanted: a (defined as option(aa))
+  
+  The incompatible parts:
+    bb (defined as option(int)) vs aa (defined as option(string))
+    
+    Further expanded:
+      int vs string
+  
+  You can convert int to string with Belt.Int.toString.

jscomp/build_tests/super_errors/expected/primitives2.re.expected

@@ -5,9 +5,7 @@
   1 │ /* got int, wanted string */
   2 │ 2 ++ " things";
 
-  This has type:
-    int
-  But somewhere wanted:
-    string
-
+  This has type: int
+  Somewhere wanted: string
+  
   You can convert int to string with Belt.Int.toString.

jscomp/build_tests/super_errors/expected/primitives6.re.expected

@@ -6,9 +6,7 @@
   2 │ type x = X(int, float);
   3 │ X(10, 10);
 
-  This has type:
-    int
-  But somewhere wanted:
-    float
-
+  This has type: int
+  Somewhere wanted: float
+  
   You can convert int to float with Belt.Int.toFloat.If this is a literal, you want a number with a trailing dot (e.g. 20.).

jscomp/build_tests/super_errors/expected/primitives7.re.expected

@@ -6,14 +6,10 @@
   2 │ let a = [1,2,3];
   3 │ List.map(((n) => n +. 2.), a);
 
-  This has type:
-    list(int)
-  But somewhere wanted:
-    list(float)
+  This has type: list(int)
+  Somewhere wanted: list(float)
 
   The incompatible parts:
-    int
-    vs
-    float
-
+    int vs float
+  
   You can convert int to float with Belt.Int.toFloat.If this is a literal, you want a number with a trailing dot (e.g. 20.).