Better document trait objects. #184
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
|
steveklabnik
approved these changes
Dec 30, 2017
src/types.md
Outdated
| > the same, if the base traits differ, the type is different. For example, | ||
| > `Send + Sync` is a different type from `Sync + Send`. See [issue 33140]. | ||
|
|
||
| > Warning: Inlcuding the same auto trait multiple times is allowed, and each |
src/types.md
Outdated
| @@ -459,16 +459,18 @@ fn main() { | |||
| In this example, the trait `Printable` occurs as a trait object in both the | |||
| type signature of `print`, and the cast expression in `main`. | |||
|
|
|||
| ### Trait Object Lifetimes | |||
There was a problem hiding this comment.
"Trait Object Lifetime Bounds"?
There was a problem hiding this comment.
Avoided messing with the verbiage of this section at all (I don't understand what it's conveying yet myself, as I haven't put much thought into it), but that's a better title for the section, so changed it.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fixes #171.