Module charon_lib::transform::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.