Open
Description
There are two outstanding changes to the Reference regarding receiver types and object safety:
- Update object safety to match impl around self as receiver reference#1248
- Document how
self: Self
receiver types *actually* interact with object safety reference#1455
These are related to an outstanding issue filed against the Reference here:
The lang-docs team would appreciate a review by @rust-lang/types on whether one or both or these PRs are correct and whether the types team (or interested members thereof) would like to see any changes before these are merged.
@rustbot labels +T-types +I-types-nominated
Metadata
Metadata
Assignees
Labels
Type
Projects
Milestone
Relationships
Development
No branches or pull requests
Activity
ehuss commentedon Jul 2, 2024
One other minor thing that would be nice to look at while you are thinking about object-safe rules is rust-lang/reference#756. Someone provided a suggestion for the addition there, and it would be nice for someone to confirm it.
self: Self
receiver types *actually* interact with object safety rust-lang/reference#1455[-]Review of Reference change regarding receives and object safety[/-][+]Review of Reference change regarding receivers and object safety[/+]ptr_cast_add_auto_to_object
#127323