Function cairo_lang_lowering::destructs::add_destructs
source · pub fn add_destructs(
db: &dyn LoweringGroup,
function_id: ConcreteFunctionWithBodyId,
lowered: &mut FlatLowered
)
Expand description
Report borrow checking diagnostics.