When using matches, or ('||') is parsed as closure ('| |').

When running verusfmt on the following code: 

```rust
proof fn foo() {
    assert(a matches b || true)
}
```
it becomes this: 
```rust
proof fn foo() {
    assert(a matches b |  | true)
}
```
I strongly suspect, this is because they are being interpretated as closures, instead of or`s.
Also, i only encounterd this problem, when using matches, so far.