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

Unsupported: implicit reborrowing #419

Open
W95Psp opened this issue Jan 5, 2024 · 3 comments
Open

Unsupported: implicit reborrowing #419

W95Psp opened this issue Jan 5, 2024 · 3 comments
Labels
keep-open unsupported-rust Rust code rejected by hax. Unless marked wontfix, we want to support it soon. wontfix-v1 This will not be worked on, but might after v1.

Comments

@W95Psp
Copy link
Collaborator

W95Psp commented Jan 5, 2024

fn f(x: &mut u8) {
   let y = x;
   ..
}
@W95Psp W95Psp added wontfix This will not be worked on unsupported-rust Rust code rejected by hax. Unless marked wontfix, we want to support it soon. labels Jan 5, 2024
@W95Psp W95Psp closed this as completed Jan 5, 2024
@github-project-automation github-project-automation bot moved this to Done in hax Jan 5, 2024
@W95Psp W95Psp reopened this Jan 5, 2024
@W95Psp W95Psp added wontfix-v1 This will not be worked on, but might after v1. and removed wontfix This will not be worked on labels Jan 5, 2024
Copy link

github-actions bot commented Oct 1, 2024

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

@github-actions github-actions bot added the stale label Oct 1, 2024
@Nadrieril
Copy link
Collaborator

The title is a bit misleading: what's happening here is implicit reborrowing, not aliasing. This code is desugared to:

fn f(x: &mut u8) {
   let y = &mut *x;
   ..
}

@github-actions github-actions bot removed the stale label Oct 2, 2024
@W95Psp
Copy link
Collaborator Author

W95Psp commented Oct 2, 2024

Yes, you're right, thanks for the precision :)

@W95Psp W95Psp changed the title Aliasing of &mut variables Implicit reborrowing Oct 2, 2024
@W95Psp W95Psp changed the title Implicit reborrowing Unsupported: implicit reborrowing Oct 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
keep-open unsupported-rust Rust code rejected by hax. Unless marked wontfix, we want to support it soon. wontfix-v1 This will not be worked on, but might after v1.
Projects
None yet
Development

No branches or pull requests

2 participants