mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update src/solve/significant-changes.md 

Co-authored-by: Oli Scherer <github35764891676564198441@oli-obk.de>
This commit is contained in:
lcnr 2024-03-22 10:38:15 +01:00 committed by Boxy
parent 92066e7a59
commit 0c4c6d79a8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/solve/significant-changes.md
View File

@ -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].