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

obey line length limit (part 2)

This commit is contained in:
Tshepang Mbambo 2022-07-17 23:10:35 +02:00
parent fbcc81b53a
commit ddb3d38965
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/opaque-types-type-alias-impl-trait-inference.md
View File

@ -188,7 +188,13 @@ The registered hidden types are stored into the `QueryResponse` struct in the `o
When the `QueryResponse` is instantiated into the surrounding infcx in `query_response_substitution_guess`, we convert each hidden type constraint by invoking `handle_opaque_type` (as above).
There is one bit of "weirdness". The instantiated opaque types are stored in a *map*, and we have to pick one opaque type to use as the key of that map. We use the one that is considered "expected". But really both of the opaque types may have defining uses. When the query result is instantiated, that will be re-evaluated from the context that is using the query.
There is one bit of "weirdness".
The instantiated opaque types are stored in a *map*,
and we have to pick one opaque type to use as the key of that map.
We use the one that is considered "expected".
But really both of the opaque types may have defining uses.
When the query result is instantiated,
that will be re-evaluated from the context that is using the query.
### Within the MIR borrow checker