From 69d2d4636aeb27ee6e05c28aacba8a0170e40309 Mon Sep 17 00:00:00 2001 From: lcnr Date: Wed, 9 Nov 2022 10:21:21 +0100 Subject: [PATCH] Update src/type-inference.md Co-authored-by: Tshepang Mbambo --- src/doc/rustc-dev-guide/src/type-inference.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doc/rustc-dev-guide/src/type-inference.md b/src/doc/rustc-dev-guide/src/type-inference.md index 5681352f24ce..ca88c1686369 100644 --- a/src/doc/rustc-dev-guide/src/type-inference.md +++ b/src/doc/rustc-dev-guide/src/type-inference.md @@ -238,7 +238,7 @@ constraint process and invokes the [`lexical_region_resolve`] code. Once this is done, any further attempt to equate or create a subtyping relationship will yield an ICE. -The NLL solver (actually, the MIR type-checker) invokes does things slightly +The NLL solver (actually, the MIR type-checker) does things slightly differently. It uses canonical queries for trait solving which use [`take_and_reset_region_constraints`] at the end. This extracts all of the outlives constraints added during the canonical query. This is required