charon_lib::transform

Module reconstruct_asserts

source
Expand description

In the MIR AST, it seems assert are introduced to check preconditions (for the binops for example). The assert! introduced by the user introduce if ... then { panic!(...) } else { ...}. This pass introduces assert instead in order to make the code shorter.

Structs§

Functions§