fix i1198

coalton-lang · Oct 17, 2024 · 41ce7b9 · 41ce7b9
1 parent 7fc91f8
commit 41ce7b9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/typechecker/define.lisp b/src/typechecker/define.lisp
@@ -2078,7 +2078,7 @@ Returns (VALUES INFERRED-TYPE NODE SUBSTITUTIONS)")
 
                        (output-schemes
                          (loop :for ty :in output-qual-tys
-                               :collect (tc:quantify local-tvars ty)))
+                               :collect (tc:quantify (tc:apply-substitution subs local-tvars) ty)))
 
                        (rewrite-table
                          (loop :with table := (make-hash-table :test #'eq)