charon_lib::transform::remove_dynamic_checks

Function remove_dynamic_checks

source
fn remove_dynamic_checks(
    _ctx: &mut TransformCtx<'_>,
    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).