Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Important changes: * Add support for new spec_fn * Update handling for fn_trait_types * Add support for const params * Add support for opens_invariants * Improve handling of comples self-params (e.g., `tracked '&a self`) * Introduce `#[verusfmt::skip]` (#31) * Add support for new `->` and `matches` expressions (#32)
- Loading branch information