From 0c4c6d79a80f71c1bac68f99cf50ec525b24a8fa Mon Sep 17 00:00:00 2001 From: lcnr Date: Fri, 22 Mar 2024 10:38:15 +0100 Subject: [PATCH] Update src/solve/significant-changes.md Co-authored-by: Oli Scherer --- src/solve/significant-changes.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/solve/significant-changes.md b/src/solve/significant-changes.md index 1e3395a8..f63d1449 100644 --- a/src/solve/significant-changes.md +++ b/src/solve/significant-changes.md @@ -65,7 +65,7 @@ us to merge more candidates in the future. ### Nested goals are evaluated until reaching a fixpoint -The new implementation always evaluates goals in a loop until reachin a fixpoint. +The new implementation always evaluates goals in a loop until reaching a fixpoint. The old implementation only does so in *fulfillment*, but not in *evaluation*. Always doing so strengthens inference and is reduces the order dependence of the trait solver. See [trait-system-refactor-initiative#102].