charon_lib::transform

Module inline_local_panic_functions

source
Expand description

panic!() expands to:

fn panic_cold_explicit() -> ! {
    core::panicking::panic_explicit()
}
panic_cold_explicit()

Which defines a new function each time. This pass recognizes these functions and replaces calls to them by a Panic terminator.

Structs§