From 92066e7a593fb7dc5b120786463e6985f71d9d5f Mon Sep 17 00:00:00 2001 From: lcnr Date: Fri, 22 Mar 2024 10:38:09 +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 a42606ca..1e3395a8 100644 --- a/src/solve/significant-changes.md +++ b/src/solve/significant-changes.md @@ -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