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 assert #(
+        a, 
+        [[_, ..] as b, ..], 
+        _ as c
+    ): #(String, List(List(Int)), String) = #(1, [[\"Hello\"]], 3)
+
+    let d: String = a <> c
+    let e: List(Int) = [0, ..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_up.snap renamed to compiler-core/src/type_/tests/snapshots/gleam_core__type___tests__errors__module_could_not_unify_let_binding_annotation_follow_up1.snap

@@ -1,12 +1,10 @@
 ---
 source: compiler-core/src/type_/tests/errors.rs
-assertion_line: 748
-expression: "\npub fn main() {\n  let x: String = 5\n  let y: Int = x\n  let z: String = x\n}\n"
-snapshot_kind: text
+expression: "\nfn main() {\n  let x: String = 5\n  let y: Int = x\n  let z: String = x\n}\n"
 ---
 ----- SOURCE CODE
 
-pub fn main() {
+fn main() {
   let x: String = 5
   let y: Int = x
   let z: String = x

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

@@ -0,0 +1,32 @@
+---
+source: compiler-core/src/type_/tests/errors.rs
+expression: "\nfn main() {\n    let assert #(\n        a, \n        [[_, ..] as b, ..], \n        _ as c\n    ): #(String, List(List(Int)), String) = #(1, [[\"Hello\"]], 3)\n\n    let d: String = a <> c\n    let e: List(Int) = [0, ..b]\n}\n"
+---
+----- SOURCE CODE
+
+fn main() {
+    let assert #(
+        a, 
+        [[_, ..] as b, ..], 
+        _ as c
+    ): #(String, List(List(Int)), String) = #(1, [["Hello"]], 3)
+
+    let d: String = a <> c
+    let e: List(Int) = [0, ..b]
+}
+
+
+----- ERROR
+error: Type mismatch
+  ┌─ /src/one/two.gleam:7:45
+  │
+7 │     ): #(String, List(List(Int)), String) = #(1, [["Hello"]], 3)
+  │                                             ^^^^^^^^^^^^^^^^^^^^
+
+Expected type:
+
+    #(String, List(List(Int)), String)
+
+Found type:
+
+    #(Int, List(List(String)), Int)