pub uninterp spec fn may_panic() -> boolExpand description
Represents the intention that the code will panic at some point in the future.
Consumed by panic_diverge to ensure that the top-level API spec must always
intentionally document potential panics.