Function assumed_len_ranges_in 

pub fn assumed_len_ranges_in(
    stmts: &[Stmt<'_>],
    interner: &Interner,
) -> Vec<AssumedLenRange>

Recover every declared length range from parsed statements (the between desugar over a length of <ident> operand, in an enforced RuntimeAssert).