{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"self.demand_eqtype(span,"}]}
            self.demand_eqtype(span, updated_arr_ty, arr_ty);
            let updated_arr_ty = Ty::new_array(self.tcx, element_ty, min_len);
            return (None, updated_arr_ty);