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 typo in unsize docs (#1843)

This commit is contained in:
Michael Goulet 2023-12-28 20:06:18 -05:00 committed by GitHub
parent ce67594f02
commit df5223139a
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/traits/unsize.md
View File

@ -70,10 +70,10 @@ Specifically, the upcasting algorithm involves: For each supertrait of the
source dyn trait's principal (including itself)... source dyn trait's principal (including itself)...
1. Unify the super trait ref with the principal of the target (making sure 1. Unify the super trait ref with the principal of the target (making sure
we only ever upcast to a true supertrait, and never [via an impl]). we only ever upcast to a true supertrait, and never [via an impl]).
2. For every auto trait in the source, check that it's present in the principal 2. For every auto trait in the target, check that it's present in the source
(allowing us to drop auto traits, but never gain new ones). (allowing us to drop auto traits, but never gain new ones).
3. For every projection in the source, check that it unifies with a single 3. For every projection in the target, check that it unifies with a single
projection in the target (since there may be more than one given projection in the source (since there may be more than one given
`trait Sub: Sup<.., A = i32> + Sup<.., A = u32>`). `trait Sub: Sup<.., A = i32> + Sup<.., A = u32>`).
[via an impl]: https://github.com/rust-lang/rust/blob/f3457dbf84cd86d284454d12705861398ece76c3/tests/ui/traits/trait-upcasting/illegal-upcast-from-impl.rs#L19 [via an impl]: https://github.com/rust-lang/rust/blob/f3457dbf84cd86d284454d12705861398ece76c3/tests/ui/traits/trait-upcasting/illegal-upcast-from-impl.rs#L19
@ -81,4 +81,5 @@ source dyn trait's principal (including itself)...
Specifically, (3.) prevents a choice of projection bound to guide inference Specifically, (3.) prevents a choice of projection bound to guide inference
unnecessarily, though it may guide inference when it is unambiguous. unnecessarily, though it may guide inference when it is unambiguous.
[^1]: The principal is the one non-auto trait of a `dyn Trait`. [^1]: The principal is the one non-auto trait of a `dyn Trait`.