diff options
| author | lcnr <rust@lcnr.de> | 2024-03-22 10:38:15 +0100 |
|---|---|---|
| committer | Boxy <supbscripter@gmail.com> | 2024-03-22 11:11:41 +0000 |
| commit | f6dec23d0c02ec48c793783dc1958029889d158a (patch) | |
| tree | 2dcdca32fb208da6c6fe67f6d91a98c22db40aee /src/doc/rustc-dev-guide | |
| parent | e43a10b7f968eb27a24efd56c7deec5485bf084e (diff) | |
Update src/solve/significant-changes.md
Co-authored-by: Oli Scherer <github35764891676564198441@oli-obk.de>
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/solve/significant-changes.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/solve/significant-changes.md b/src/doc/rustc-dev-guide/src/solve/significant-changes.md index 1e3395a8e13..f63d1449ec3 100644 --- a/src/doc/rustc-dev-guide/src/solve/significant-changes.md +++ b/src/doc/rustc-dev-guide/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]. |