-
Notifications
You must be signed in to change notification settings - Fork 84
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
Emit annotated item in error message #3495
Labels
[C] Feature / Enhancement
A new feature request or enhancement to an existing feature.
Comments
zhassan-aws
added
the
[C] Feature / Enhancement
A new feature request or enhancement to an existing feature.
label
Sep 5, 2024
Created GnomedDev/proc-macro-error-2#1 to ask about the difference in output. |
Merged
github-merge-queue bot
pushed a commit
that referenced
this issue
Sep 7, 2024
As suggested in GnomedDev/proc-macro-error-2#1 (comment), turning on the `nightly` feature for `proc-macro-error2` to restore the previous error message for `derive(Arbitrary)`. Resolves #3495 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The replacement of the unmaintained
proc-macro-error
crate with theproc-macro-error2
crate in #3493 resulted in a diff in the error message Kani emits for https://github.com/model-checking/kani/tree/main/tests/ui/derive-arbitrary/union.With
proc-macro-error
, the error was:With
proc-macro-error2
, the error is:The two notable differences are:
union Wrapper
) is no longer included in the errornote
does not appear after the span.We should investigate if it's possible to restore the previous behavior.
The text was updated successfully, but these errors were encountered: