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/type-inference.md 

Co-authored-by: Tshepang Mbambo <tshepang@gmail.com>
This commit is contained in:
lcnr 2022-11-09 10:21:21 +01:00 committed by Tshepang Mbambo
parent 39c10de06f
commit 36e15ae1dd
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/type-inference.md
View File

@ -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