Merge branch 'trunk' into 3378

crates/compiler/test_mono/generated/call_function_in_empty_list.txt

@@ -0,0 +1,18 @@
+procedure List.5 (#Attr.2, #Attr.3):
+    let List.279 : List {} = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
+    decref #Attr.2;
+    ret List.279;
+
+procedure Test.2 (Test.3):
+    let Test.7 : {} = Struct {};
+    let Test.6 : {} = CallByName Test.8 Test.7;
+    ret Test.6;
+
+procedure Test.8 (Test.9):
+    Error The `#UserApp.IdentId(8)` function could not be generated, likely due to a type error.
+
+procedure Test.0 ():
+    let Test.1 : List {} = Array [];
+    let Test.5 : {} = Struct {};
+    let Test.4 : List {} = CallByName List.5 Test.1 Test.5;
+    ret Test.4;

crates/compiler/test_mono/generated/call_function_in_empty_list_unbound.txt

@@ -0,0 +1,6 @@
+procedure List.5 (#Attr.2, #Attr.3):
+    Error UnresolvedTypeVar crates/compiler/mono/src/ir.rs line 5030
+
+procedure Test.0 ():
+    let Test.1 : List {} = Array [];
+    Error UnresolvedTypeVar crates/compiler/mono/src/ir.rs line 4557

crates/compiler/test_mono/src/tests.rs

@@ -1697,3 +1697,24 @@ fn recursive_call_capturing_function() {
         "#
     )
 }
+
+#[mono_test]
+fn call_function_in_empty_list() {
+    indoc!(
+        r#"
+        lst : List ({} -> {})
+        lst = []
+        List.map lst \f -> f {}
+        "#
+    )
+}
+
+#[mono_test]
+fn call_function_in_empty_list_unbound() {
+    indoc!(
+        r#"
+        lst = []
+        List.map lst \f -> f {}
+        "#
+    )
+}