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

Fix some typos 

Signed-off-by: Yuki Okushi <jtitor@2k36.org>
This commit is contained in:
Yuki Okushi 2022-09-20 07:47:50 +09:00 committed by Tshepang Mbambo
parent f587d6e7cd
commit f349ee1a66
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/opaque-types-impl-trait-inference.md
View File

@ -147,7 +147,7 @@ flowchart TD
### Relating an opaque type to another type ### Relating an opaque type to another type
There is one central place where an opaqe type gets its hidden type constrained, There is one central place where an opaque type gets its hidden type constrained,
and that is the `handle_opaque_type` function. and that is the `handle_opaque_type` function.
Amusingly it takes two types, so you can pass any two types, Amusingly it takes two types, so you can pass any two types,
but one of them should be an opaque type. but one of them should be an opaque type.
@ -216,7 +216,7 @@ and then handle it correctly.
The MIR borrow checker relates things via `nll_relate` and only cares about regions. The MIR borrow checker relates things via `nll_relate` and only cares about regions.
Any type relation will trigger the binding of hidden types, Any type relation will trigger the binding of hidden types,
so the borrow checker is doing the same thing as the type checker, so the borrow checker is doing the same thing as the type checker,
but ignores obivously dead code (e.g. after a panic). but ignores obviously dead code (e.g. after a panic).
The borrow checker is also the source of truth when it comes to hidden types, The borrow checker is also the source of truth when it comes to hidden types,
as it is the only one who can properly figure out what lifetimes on the hidden type correspond as it is the only one who can properly figure out what lifetimes on the hidden type correspond
to which lifetimes on the opaque type declaration. to which lifetimes on the opaque type declaration.
@ -224,7 +224,7 @@ to which lifetimes on the opaque type declaration.
## Backwards compatibility hacks ## Backwards compatibility hacks
`impl Trait` in return position has various quirks that were not part `impl Trait` in return position has various quirks that were not part
of any RFCs and are likely accidental stabilizations. of any RFCs and are likely accidental stabilization.
To support these, To support these,
the `replace_opaque_types_with_inference_vars` is being used to reintroduce the previous behaviour. the `replace_opaque_types_with_inference_vars` is being used to reintroduce the previous behaviour.