-
Couldn't load subscription status.
- Fork 13.9k
Clarify that anonymous consts still do introduce a new scope #126652
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
Conversation
|
r? @davidtwco rustbot has assigned @davidtwco. Use |
|
cc @Urgau |
|
☔ The latest upstream changes (presumably #126655) made this pull request unmergeable. Please resolve the merge conflicts. |
|
LGTM with @Urgau's suggestion applied. |
2804239 to
ab270a7
Compare
|
Applied. |
ab270a7 to
e8a9af9
Compare
|
@bors r=bjorn3,Urgau rollup |
…iaskrgr Rollup of 5 pull requests Successful merges: - rust-lang#126620 (Actually taint InferCtxt when a fulfillment error is emitted) - rust-lang#126649 (Fix `feature = "nightly"` in the new trait solver) - rust-lang#126652 (Clarify that anonymous consts still do introduce a new scope) - rust-lang#126703 (reword the hint::blackbox non-guarantees) - rust-lang#126708 (Minimize `can_begin_literal_maybe_minus` usage) r? `@ghost` `@rustbot` modify labels: rollup
Rollup merge of rust-lang#126652 - Manishearth:anon-const-scope, r=bjorn3,Urgau Clarify that anonymous consts still do introduce a new scope See rust-lang#120363 (comment) This error message is misleading: it's trying to say that `const _ : () = ...` is a workaround for the lint, but by saying that anonymous constants are treated as being in the parent scope, it makes them appear useless for scope-hiding. They *are* useful for scope-hiding, they are simply treated as part of the parent scope when it comes to this lint.
See #120363 (comment)
This error message is misleading: it's trying to say that
const _ : () = ...is a workaround for the lint, but by saying that anonymous constants are treated as being in the parent scope, it makes them appear useless for scope-hiding.They are useful for scope-hiding, they are simply treated as part of the parent scope when it comes to this lint.