-
Notifications
You must be signed in to change notification settings - Fork 13k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Improve documentation for E0223 #109565
Improve documentation for E0223 #109565
Conversation
r? @oli-obk (rustbot has picked a reviewer for you, use r? to override) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
r=me with some wording nits
} | ||
``` | ||
|
||
The problem here is that we're attempting to take the type of X from MyTrait. | ||
Unfortunately, the type of X is not defined, because it's only made concrete in | ||
The problem here is that we're attempting to take the type of `X` from `Trait`. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The problem here is that we're attempting to take the type of `X` from `Trait`. | |
The problem here is that we're attempting to take the associated type of `X` from `Trait`. |
This syntax specifies that we want the `X` type from `Trait` implementation for | ||
`Struct`. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This syntax specifies that we want the `X` type from `Trait` implementation for | |
`Struct`. | |
This syntax specifies that we want the associated type `X` from `Struct`'s | |
implementation of `Trait`. |
29b9145
to
3c4fabc
Compare
@bors r=oli-obk rollup |
…iaskrgr Rollup of 9 pull requests Successful merges: - rust-lang#108548 (Clarify the 'use a constant in a pattern' error message) - rust-lang#109565 (Improve documentation for E0223) - rust-lang#109661 (Fix LVI test post LLVM 16 update) - rust-lang#109667 (Always set `RUSTC_BOOTSTRAP` with `x doc`) - rust-lang#109669 (Update books) - rust-lang#109678 (Don't shadow the `dep_node` var in `incremental_verify_ich_failed`) - rust-lang#109682 (Add `#[inline]` to CStr trait implementations) - rust-lang#109685 (Make doc comment a little bit more accurate) - rust-lang#109687 (Document the heuristics IsTerminal uses on Windows) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
See discussion in https://rust-lang.zulipchat.com/#narrow/stream/213817-t-lang/topic/Inconsistency.20in.20prohibiting.20.60Type.3A.3AAssocType.60