From e43a10b7f968eb27a24efd56c7deec5485bf084e Mon Sep 17 00:00:00 2001 From: lcnr Date: Fri, 22 Mar 2024 10:38:09 +0100 Subject: Update src/solve/significant-changes.md Co-authored-by: Oli Scherer --- src/doc/rustc-dev-guide/src/solve/significant-changes.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/doc/rustc-dev-guide') 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 a42606caf78..1e3395a8e13 100644 --- a/src/doc/rustc-dev-guide/src/solve/significant-changes.md +++ b/src/doc/rustc-dev-guide/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 -- cgit 1.4.1-3-g733a5