Add more complex tests

Author: abs0luty

compiler-core/src/type_/tests/errors.rs

@@ -744,10 +744,10 @@ fn module_could_not_unify6() {
 }
 
 #[test]
-fn module_could_not_unify_let_binding_annotation_follow_up() {
+fn module_could_not_unify_let_binding_annotation_follow_up1() {
     assert_module_error!(
         "
-pub fn main() {
+fn main() {
   let x: String = 5
   let y: Int = x
   let z: String = x
@@ -756,6 +756,24 @@ pub fn main() {
     );
 }
 
+#[test]
+fn module_could_not_unify_let_binding_annotation_follow_up2() {
+    assert_module_error!(
+        "
+fn main() {
+    let #(
+        a, 
+        [[_, ..] as b, ..], 
+        _ as c
+    ): #(String, List(Int), String) = #(1, [\"Hello\"], 3)
+
+    let d: String = a <> c
+    let e: List(Int) = [\"Hello\", ..b]
+}
+"
+    );
+}
+
 #[test]
 fn module_could_not_unify7() {
     assert_module_error!("fn main() { let assert 5 = \"\" }");

compiler-core/src/type_/tests/snapshots/gleam_core__type___tests__errors__module_could_not_unify_let_binding_annotation_follow_up1.snap

@@ -0,0 +1,41 @@
+---
+source: compiler-core/src/type_/tests/errors.rs
+expression: "\nfn main() {\n  let x: String = 5\n  let y: Int = x\n  let z: String = x\n}\n"
+---
+----- SOURCE CODE
+
+fn main() {
+  let x: String = 5
+  let y: Int = x
+  let z: String = x
+}
+
+
+----- ERROR
+error: Type mismatch
+  ┌─ /src/one/two.gleam:3:19
+  │
+3 │   let x: String = 5
+  │                   ^
+
+Expected type:
+
+    String
+
+Found type:
+
+    Int
+
+error: Type mismatch
+  ┌─ /src/one/two.gleam:4:16
+  │
+4 │   let y: Int = x
+  │                ^
+
+Expected type:
+
+    Int
+
+Found type:
+
+    String

compiler-core/src/type_/tests/snapshots/gleam_core__type___tests__errors__module_could_not_unify_let_binding_annotation_follow_up2.snap

@@ -0,0 +1,77 @@
+---
+source: compiler-core/src/type_/tests/errors.rs
+expression: "\nfn main() {\n    let #(\n        a, \n        [[_, ..] as b, ..], \n        _ as c\n    ): #(String, List(Int), String) = #(1, [\"Hello\"], 3)\n\n    let d: String = a <> c\n    let e: List(Int) = [\"Hello\", ..b]\n}\n"
+---
+----- SOURCE CODE
+
+fn main() {
+    let #(
+        a, 
+        [[_, ..] as b, ..], 
+        _ as c
+    ): #(String, List(Int), String) = #(1, ["Hello"], 3)
+
+    let d: String = a <> c
+    let e: List(Int) = ["Hello", ..b]
+}
+
+
+----- ERROR
+error: Type mismatch
+  ┌─ /src/one/two.gleam:5:10
+  │
+5 │         [[_, ..] as b, ..], 
+  │          ^^^^^^^
+
+Expected type:
+
+    String
+
+Found type:
+
+    List(a)
+
+error: Type mismatch
+  ┌─ /src/one/two.gleam:7:39
+  │
+7 │     ): #(String, List(Int), String) = #(1, ["Hello"], 3)
+  │                                       ^^^^^^^^^^^^^^^^^^
+
+Expected type:
+
+    #(String, List(Int), String)
+
+Found type:
+
+    #(Int, List(String), Int)
+
+error: Type mismatch
+   ┌─ /src/one/two.gleam:10:24
+   │
+10 │     let e: List(Int) = ["Hello", ..b]
+   │                        ^^^^^^^^^^^^^^
+
+Expected type:
+
+    List(Int)
+
+Found type:
+
+    List(String)
+
+error: Type mismatch
+   ┌─ /src/one/two.gleam:10:36
+   │
+10 │     let e: List(Int) = ["Hello", ..b]
+   │                                    ^
+
+All elements in a list must have the same type, but the elements of
+this list don't match the type of the elements being prepended to it.
+
+Expected type:
+
+    List(String)
+
+Found type:
+
+    Int