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

refactor: avoid using box patterns #1424

Closed
MingweiSamuel opened this issue Aug 24, 2024 · 1 comment
Closed

refactor: avoid using box patterns #1424

MingweiSamuel opened this issue Aug 24, 2024 · 1 comment
Labels
hydro lang global choreographic language P2 Medium priority Small
Milestone
0.11 Release

Comments

@MingweiSamuel
Copy link
Member

they will eventually be removed and replaced with rust-lang/rust#87121 (which doesn't work yet)
@MingweiSamuel MingweiSamuel added hydro lang global choreographic language Small labels Aug 29, 2024
@jhellerstein jhellerstein added the P2 Medium priority label Oct 21, 2024
@MingweiSamuel MingweiSamuel added this to the 1.0 Release milestone Oct 21, 2024
@shadaj
Copy link
Member

shadaj commented Dec 9, 2024

Fixed by #1597

@shadaj shadaj closed this as completed Dec 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
hydro lang global choreographic language P2 Medium priority Small
Projects
None yet
Milestone
0.11 Release
Development

No branches or pull requests
3 participants
@jhellerstein @shadaj @MingweiSamuel