macro_rules! vpanic {
($fmt:expr $(,$val:expr)*) => { ... };
() => { ... };
}
Expand description
Replace panic macro with vpanic when needed. panic!{} may call panic_fmt with private rt::Argument, which could not be supported in verus.
macro_rules! vpanic {
($fmt:expr $(,$val:expr)*) => { ... };
() => { ... };
}
Replace panic macro with vpanic when needed. panic!{} may call panic_fmt with private rt::Argument, which could not be supported in verus.