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

Const traits #106

Open
2 tasks
nikomatsakis opened this issue Jul 22, 2024 · 3 comments
Open
2 tasks

Const traits #106

nikomatsakis opened this issue Jul 22, 2024 · 3 comments
Assignees
@fee1-dead
Labels
C-tracking-issue T-lang T-types
Milestone
2024h2

Comments

@nikomatsakis
Copy link
Contributor

Metadata
Owner(s) @fee1-dead
Team(s) lang, types
Goal document 2024h2/const-traits

Summary

Experiment with effects-based desugaring for "maybe-const" functionality

Tasks and status
@nikomatsakis nikomatsakis added this to the 2024h2 milestone Jul 22, 2024
@rust-lang rust-lang locked and limited conversation to collaborators Jul 25, 2024
@nikomatsakis
Copy link
Contributor Author

This issue is intended for status updates only.

For general questions or comments, please contact the owner(s) directly.

@fee1-dead
Copy link
Member

fee1-dead commented Jul 27, 2024 •
edited
Loading

Update 2024-07-27:

  • Key developments: We recently landed my new proposed desugaring in #120639, which is a big step towards having a robust model of const traits in the type system.

@fee1-dead
Copy link
Member

Update 2024-08-25:

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@fee1-dead fee1-dead

Labels
C-tracking-issue T-lang T-types
Projects
None yet
Milestone
2024h2
Development

No branches or pull requests
2 participants
@nikomatsakis @fee1-dead