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:09 +01:00 committed by Boxy
parent 66d43a8aac
commit 92066e7a59
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

@ -44,7 +44,7 @@ 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
which replaces ambiguous aliases with inference variables. As this is not
not possible for aliases containing bound variables, the old implementation does
nto 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.
[#102048]: https://github.com/rust-lang/rust/issues/102048