Skip to content
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

UnsafeCell::raw_get: use raw pointer self type #118806

Closed

Conversation

RalfJung
Copy link
Member

Back in the day we made this an associated function to avoid relying on raw-ptr self types. I'd like to know if that is still a concern -- I hope we can stabilize #74265 and #71146 soon, and while strangely those do not require the arbitrary_self_types feature, I would think that for the compiler and type system those are very similar cases. So I'd like to see if we are comfortable having stable methods with raw pointer self types. I expect this will need t-lang FCP (and t-libs-api), and also t-types involvement.

So @rust-lang/types, what are your thoughts here? This has to pass by you before we send it to the top-level teams; I don't know if we should make one big FCP for all 3 teams or how else t-types should best be involved here.

@rustbot
Copy link
Collaborator

rustbot commented Dec 10, 2023

r? @Mark-Simulacrum

(rustbot has picked a reviewer for you, use r? to override)

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Dec 10, 2023
@RalfJung RalfJung added the I-types-nominated Nominated for discussion during a types team meeting. label Dec 10, 2023
@lcnr
Copy link
Contributor

lcnr commented Dec 11, 2023

I can't think of any issues with this and believe it to be fine to go ahead with this🤔 @compiler-errors or @nikomatsakis may have more to say here.

@Mark-Simulacrum
Copy link
Member

r=me on implementation modulo sign-offs you think are needed.

@RalfJung RalfJung added T-lang Relevant to the language team, which will review and decide on the PR/issue. T-libs-api Relevant to the library API team, which will review and decide on the PR/issue. T-types Relevant to the types team, which will review and decide on the PR/issue. and removed T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Dec 16, 2023
@Mark-Simulacrum Mark-Simulacrum added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Dec 16, 2023
@lcnr lcnr added the needs-fcp This change is insta-stable, so needs a completed FCP to proceed. label Dec 18, 2023
@RalfJung RalfJung added I-libs-api-nominated Nominated for discussion during a libs-api team meeting. I-lang-nominated Nominated for discussion during a lang team meeting. labels Dec 23, 2023
@joshtriplett
Copy link
Member

We discussed this in today's @rust-lang/libs-api meeting, and decided that we want to wait to see what happens with rust-lang/rfcs#3519 and see how that feature ends up stabilizing, before considering this proposal further.

@RalfJung
Copy link
Member Author

RalfJung commented Jan 9, 2024

All right, closing the PR then.

@RalfJung RalfJung closed this Jan 9, 2024
@dtolnay dtolnay removed I-lang-nominated Nominated for discussion during a lang team meeting. I-libs-api-nominated Nominated for discussion during a libs-api team meeting. I-types-nominated Nominated for discussion during a types team meeting. labels Mar 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs-fcp This change is insta-stable, so needs a completed FCP to proceed. S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-lang Relevant to the language team, which will review and decide on the PR/issue. T-libs-api Relevant to the library API team, which will review and decide on the PR/issue. T-types Relevant to the types team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants