{"ast_node_type":"import","tokens":[{"end":65,"kind":"keyword","start":0,"text":"//"}]}
            // which we can use to infer the length of the array.
            // We have a pattern with a fixed length,
            let updated_arr_ty = Ty::new_array(self.tcx, element_ty, min_len);