Migrate list_of_lambdas

2025-08-02 11:22:19 +00:00 · 2023-04-02 13:03:18 -05:00 · 2023-04-02 13:03:18 -05:00 · e72e17fc82
commit e72e17fc82
parent 88b044a765
2 changed files with 4 additions and 13 deletions
--- a/crates/compiler/solve/tests/solve_expr.rs
+++ b/crates/compiler/solve/tests/solve_expr.rs
@ -6120,19 +6120,6 @@ mod solve_expr {
        )
    }

-    #[test]
-    fn list_of_lambdas() {
-        infer_queries!(
-            indoc!(
-                r#"
-                [\{} -> {}, \{} -> {}]
-                #^^^^^^^^^^^^^^^^^^^^^^{-1}
-                "#
-            ),
-            @r###"[\{} -> {}, \{} -> {}] : List ({}w_a -[[1, 2]]-> {})"###
-        )
-    }
-
    #[test]
    fn self_recursion_with_inference_var() {
        infer_eq_without_problem(