cairo_lang_lowering::destructs

Function add_destructs

source 
pub fn add_destructs(
    db: &dyn LoweringGroup,
    function_id: ConcreteFunctionWithBodyId,
    lowered: &mut FlatLowered,
)
Expand description

Report borrow checking diagnostics.