Function charon_lib::transform::remove_dynamic_checks::remove_dynamic_checks

fn remove_dynamic_checks(
    _ctx: &mut TransformCtx<'_>,
    statements: &mut [Statement],
)

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