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.

Sign up for GitHub

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

Jump to bottom

RFC: Coercible and HasPrefix for Zero Cost Coercions #270

Open
rust-highfive opened this issue Sep 24, 2014 · 2 comments
Open

RFC: Coercible and HasPrefix for Zero Cost Coercions #270

rust-highfive opened this issue Sep 24, 2014 · 2 comments
Labels
A-coercions Proposals relating to coercions. postponed RFCs that have been postponed and may be revisited at a later time. T-lang Relevant to the language team, which will review and decide on the RFC.

Comments

@rust-highfive
Copy link

This is largely based on (with lots of copied text) @glaebhoerl's proposal in rust-lang/rust#9912, but with a few changes:

  • I formalized the idea of "contexts" by using GHC's roles.
  • I used this role system to include user-defined pointers and data structures.
  • I dropped contravariance for simplicity. This may have been a bad idea, but it's unclear how useful contravariance is.

Tracking issue for postponed PR #91
@rust-highfive rust-highfive added the postponed RFCs that have been postponed and may be revisited at a later time. label Sep 24, 2014
@glaebhoerl
Copy link
Contributor

cc #223

@glaebhoerl
Copy link
Contributor

cc #1387

@nrc nrc added the T-lang Relevant to the language team, which will review and decide on the RFC. label Aug 17, 2016
@glaebhoerl glaebhoerl mentioned this issue Feb 11, 2017
Closed
@Centril Centril added the A-coercions Proposals relating to coercions. label Nov 26, 2018
@Tamschi Tamschi mentioned this issue May 12, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-coercions Proposals relating to coercions. postponed RFCs that have been postponed and may be revisited at a later time. T-lang Relevant to the language team, which will review and decide on the RFC.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@nrc @Centril @glaebhoerl @rust-highfive