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

fix(solve/significant-changes): typo

This commit is contained in:
Ada Alakbarova 2025-01-24 14:12:17 +01:00 committed by GitHub
parent 8ebc7c0b32
commit 168456e7a3
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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

@ -42,7 +42,7 @@ old implementation structurally relates the aliases instead. This enables the
new solver to stall equality until it is able to normalize the related aliases. new solver to stall equality until it is able to normalize the related aliases.
The behavior of the old solver is incomplete and relies on eager normalization The behavior of the old solver is incomplete and relies on eager normalization
which replaces ambiguous aliases with inference variables. As this is not which replaces ambiguous aliases with inference variables. As this is
not possible for aliases containing bound variables, the old implementation does not possible for aliases containing bound variables, the old implementation does
not handle aliases inside of binders correctly, e.g. [#102048]. See the chapter on not handle aliases inside of binders correctly, e.g. [#102048]. See the chapter on
[normalization] for more details. [normalization] for more details.