-
Notifications
You must be signed in to change notification settings - Fork 525
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
Refactor unsizing coercion documentation #1731
base: master
Are you sure you want to change the base?
Refactor unsizing coercion documentation #1731
Conversation
6f8650a
to
08bec64
Compare
This comment has been minimized.
This comment has been minimized.
@rust-lang/types would you be able to review this? |
To add a bit more color, it'd be good to get a double check that the content is factually accurate before spec team takes it on for editorial review. |
<!-- FIXME: are there more requirements for `CoerceUnsized`? --> | ||
|
||
r[coerce.unsize.coerce-unsized-impls] | ||
Types which currently implement `CoerceUnsized<_>` (assuming `T: Unsize<U>`, `'a: 'b`, `A: CoerceUnsized<B>`, `Al: Allocator`): |
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.
Generally I would prefer to not duplicate the list of impls from the standard library here. I assume the user can click the link to CoerceUnsized
to see which impls it has?
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.
So, mh. Yes, users can find them in the std docs (that's where I got the impls from!).
However, if we want the reference to be prescriptive, I think we should include this. While this is library code, it controls how a language feature behaves.
But I don't have a strong opinion here, if you think that this is not useful I can remove the list.
The old one was quite confusing and also incorrect in a few places.
08bec64
to
9271fdd
Compare
The old one was quite confusing and also incorrect in a few places. Follow-up to #1622.