-
Notifications
You must be signed in to change notification settings - Fork 12.8k
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
"use std" before #[link(...)] in .rc file causes an error #2243
Comments
That inner attributes (attributes terminated with a semi) must come before any module contents is intentional, but this gotcha has come up before. Should we allow attributes anywhere in a module to apply to that module? It seems like too much action at a distance if, e.g. 2000 lines into parser.rs you wrote Maybe we could have a better error message. |
I don't believe this is backwards incompatible, renominating. |
just a bug, removing milestone/nomination. |
It's definitely a worse gotcha to have accidental semicolons cause entire modules to be #[ignore]d or whatever. Improved error message is the way to go. |
Visiting for triage: @cmr are you planing to create a PR for those commits? |
Oops. I'll get to it in ~2 weeks. |
I believe this has been satisfactorily fixed with unused attribute warnings. |
Pass --color=always through cargo-miri Closes rust-lang/miri#2037 I just implemented the fix suggested in that issue and it seems to work without issue.
Automatically create pull requests from the result of updating the CBMC release version checks every Monday morning. Resolves rust-lang#2243.
rustc errors out when compiling a ".rc" file if
use std
comes before the#link(...)
:test:rc
test.rs:
Errors with:
The text was updated successfully, but these errors were encountered: