We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
The following piece of Verus code:
vstd::prelude::verus! { proof fn f() opens_invariants [ 123u8 ] {} }
compiles with the latest version of verus just fine, but the latest verusfmt reports:
Error: × Failed to parse ╭─[parse2.rs:1:1] 1 │ vstd::prelude::verus! { 2 │ proof fn f() opens_invariants [ 123u8 ] {} · ┬ · ╰── here 3 │ } ╰──── help: Expected one of: COMMENT, opens_invariants_mode
The text was updated successfully, but these errors were encountered:
opens_invariants
Thanks for the report, #93 fixes this, and should be part of the next release once merged.
Sorry, something went wrong.
9d2c659
Successfully merging a pull request may close this issue.
The following piece of Verus code:
compiles with the latest version of verus just fine, but the latest verusfmt reports:
The text was updated successfully, but these errors were encountered: