-
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
invalid location with #debug type error #1387
Labels
A-frontend
Area: Compiler frontend (errors, parsing and HIR)
Comments
This is a general problem with macros, not just #debug. When they report an error they go to (or near) the source line before the macro, and highlight it, but fail to pretty-print what the expanded syntax looked like. They should do both. |
This bug turns out to be a duplicate of #1448. The fix to that will fix this one. |
kevina
added a commit
to kevina/rust
that referenced
this issue
Jan 23, 2012
Need a better fix, right now it is just causing even more confusion, for example in issue rust-lang#1448 and rust-lang#1387. This reverts commit 1e4de33.
kevina
added a commit
to kevina/rust
that referenced
this issue
Jan 23, 2012
the replacement and not the span of the pattern variable. Fixes issue rust-lang#1448, and rust-lang#1387.
kevina
added a commit
to kevina/rust
that referenced
this issue
Jan 23, 2012
brson
pushed a commit
that referenced
this issue
Jan 24, 2012
brson
pushed a commit
that referenced
this issue
Jan 24, 2012
Fixed by kevina |
celinval
added a commit
to celinval/rust-dev
that referenced
this issue
Jun 4, 2024
…meters (rust-lang#1387) 1. Add an unstable hidden option to kani-driver to run sanity checks that are available in CBMC to perform consistency checks on the GOTO model. 2. Fix consistency checks related to missing is_parameter flag. We were not setting this parameter at all. CBMC expects all symbols that are function parameters to have this flag set to true.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This code highlights an invalid code location:
Returns this error message:
The text was updated successfully, but these errors were encountered: