Skip to content

bindings_after_at: outer mutability annotation affects inner bindings #67926

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Closed
Centril opened this issue Jan 6, 2020 · 0 comments · Fixed by #68992
Closed

bindings_after_at: outer mutability annotation affects inner bindings #67926

Centril opened this issue Jan 6, 2020 · 0 comments · Fixed by #68992
Labels
C-bug Category: This is a bug. F-bindings_after_at `#![feature(bindings_after_at)]` P-medium Medium priority requires-nightly This issue requires a nightly compiler in some way. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Comments

@Centril
Copy link
Contributor

Centril commented Jan 6, 2020

This compiles but should not.

#![feature(bindings_after_at)]

fn main() {
    let mut _is_mut @ _not_mut = 42;
    _not_mut = 0;
}

cc @matthewjasper @pnkfelix

@Centril Centril added P-medium Medium priority T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. C-bug Category: This is a bug. requires-nightly This issue requires a nightly compiler in some way. F-bindings_after_at `#![feature(bindings_after_at)]` labels Jan 6, 2020
@bors bors closed this as completed in 64d2d04 Feb 10, 2020
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
C-bug Category: This is a bug. F-bindings_after_at `#![feature(bindings_after_at)]` P-medium Medium priority requires-nightly This issue requires a nightly compiler in some way. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant