charon_lib::transform::remove_dynamic_checks

Function remove_dynamic_checks

Source 
fn remove_dynamic_checks(
    ctx: &mut TransformCtx,
    _locals: &mut Locals,
    statements: &mut [Statement],
)
Expand description

Rustc inserts dybnamic checks during MIR lowering. They all end in an Assert statement (and this is the only use of this statement).