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).