We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 93d73d3 + 17a14b6 commit bda5664Copy full SHA for bda5664
src/doc/rustc-dev-guide/src/solve/significant-changes.md
@@ -42,7 +42,7 @@ old implementation structurally relates the aliases instead. This enables the
42
new solver to stall equality until it is able to normalize the related aliases.
43
44
The behavior of the old solver is incomplete and relies on eager normalization
45
-which replaces ambiguous aliases with inference variables. As this is not
+which replaces ambiguous aliases with inference variables. As this is
46
not possible for aliases containing bound variables, the old implementation does
47
not handle aliases inside of binders correctly, e.g. [#102048]. See the chapter on
48
[normalization] for more details.
0 commit comments