Skip to content

Conversation

@zhassan-aws
Copy link
Contributor

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.

@zhassan-aws zhassan-aws requested a review from a team as a code owner September 6, 2024 23:49
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Sep 6, 2024
@feliperodri feliperodri added this pull request to the merge queue Sep 7, 2024
Merged via the queue into model-checking:main with commit 20eb00c Sep 7, 2024
@zhassan-aws zhassan-aws deleted the iss3495 branch September 8, 2024 22:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Z-EndToEndBenchCI Tag a PR to run benchmark CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Emit annotated item in error message

2 participants