TRPL: type aliases and unsized types #24675
Conversation
| } | ||
| ``` | ||
|
|
||
| This compiles without error. `Num` types are the same as `i32`s, in every way. |
There was a problem hiding this comment.
I assume this means "values of type Num"? It's a bit confusing as is.
|
Nicely written. Could you perhaps add a more motivating example for |
|
@killercup ahh yes, good call 👍 |
|
The type Result<T> = result::Result<T, ConcreteError>;(e.g. |
| } | ||
| ``` | ||
|
|
||
| This `?` means that this bound is special: it lets us match more kinds, not |
There was a problem hiding this comment.
Perhaps this could mention something like "?Sized is normally read as 'maybe not sized'"? I guess just getting the phrase "maybe unsized" may help a bit.
|
I think the unsized type section may also want some motivating examples as well. For example it enables |
steveklabnik
force-pushed
the
two_more_chapters
branch
from
7799a79 to
defdc44
Compare
|
Updated! |
|
🙀 |
…lexcrichton Two more chapters of TRPL. The `type` one is pretty straightforward, but I wasn't really sure what to put for unsized types. I just explained the very basics, and the special bounds syntax. Thoughts on what else should go here? r? @alexcrichton
Two more chapters of TRPL. The
typeone is pretty straightforward, but I wasn't really sure what to put for unsized types. I just explained the very basics, and the special bounds syntax. Thoughts on what else should go here?r? @alexcrichton