Skip to main content
Module reconstruct_panic_calls
charon_
lib
0.1.282
Module reconstruct_
panic_
calls
Module Items
Structs
In charon_
lib::
transform::
resugar
charon_lib
::
transform
::
resugar
Module
reconstruct_
panic_
calls
Copy item path
Source
Expand description
Transform calls to builtin panicking functions into
TerminatorKind::Panic
.
Structs
ยง
Transform