Formatting of multi-line seq! macro

[mmcloughlin]

verusfmt 0.2.8 formats:

use vstd::prelude::*;

verus! {

proof fn f() {
    let s =
        seq![
        0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
        0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
    ];
}

} // verus!

This occurs with two lines or more. With only one you get:

proof fn f() {
    let s = seq![
        0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
    ];
}

[parno]

Indeed, verusfmt support for macro invocations is rather limited at present, unfortunately. However, our current policy is that requests/suggestions for formatting improvements are best handled through PRs, which are most welcome. We're trying to reserve GitHub Issues for functional bugs, so I'll close this for now.