Function collect_state_array_length_read 

fn collect_state_array_length_read<'hir>(
    gcx: Gcx<'hir>,
    expr: &'hir Expr<'hir>,
    reads: &mut Vec<LengthRead<'hir>>,
)