From 972e531431e2ba31698c4b7fbb40bd6813492095 Mon Sep 17 00:00:00 2001
From: Ayaz Hafiz <ayaz@rwx.com>
Date: Tue, 15 Nov 2022 14:25:17 -0600
Subject: [PATCH] Check in solve test

Closes #4077
---
 crates/compiler/solve/tests/solve_expr.rs | 27 ++++++++++++++++++++++-
 1 file changed, 26 insertions(+), 1 deletion(-)

diff --git a/crates/compiler/solve/tests/solve_expr.rs b/crates/compiler/solve/tests/solve_expr.rs
index 74e72ff688..e707b4f18f 100644
--- a/crates/compiler/solve/tests/solve_expr.rs
+++ b/crates/compiler/solve/tests/solve_expr.rs
@@ -8198,6 +8198,31 @@ mod solve_expr {
         );
     }
 
+    #[test]
+    fn inferred_fixed_fixpoints() {
+        infer_queries!(
+            indoc!(
+                r#"
+                 app "test" provides [job] to "./platform"
+
+                 F : [Bar, FromG G]
+                 G : [G {lst : List F}]
+
+                 job : { lst : List F } -> G
+                 job = \config -> G config
+                 #^^^{-1}
+                 #      ^^^^^^    ^^^^^^^^
+                 "#
+            ),
+        @r###"
+        job : { lst : List [Bar, FromG a] } -[[job(0)]]-> [G { lst : List [Bar, FromG a] }] as a
+        config : { lst : List [Bar, FromG ([G { lst : List [Bar, FromG a] }] as a)] }
+        G config : [G { lst : List [Bar, FromG a] }] as a
+        "###
+        print_only_under_alias: true
+        );
+    }
+
     #[test]
     fn fix_recursion_under_alias_issue_4368() {
         infer_eq_without_problem(
@@ -8218,6 +8243,6 @@ mod solve_expr {
                 "#
             ),
             "{} -> Task",
-        )
+        );
     }
 }