parse error with FnOnce returning unit

[Travis Hance]

The verus macro can't parse this:

verus!{

fn stuff<T: FnOnce(u8) -> ()>() { }

}

Seems fine for other types, even other tuple types. Just the unit type that fails.