internal error: missing variant ...
jonhnet opened this issue · comments
This crate crashes the verifier with:
internal error: missing variant IntegerSeqMarshallingOblinfoThe named type is a struct, not a variant.
verus-lang / verus
Verified Rust for low-level systems code