{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"//"}]}
                    // to an iterator
                    // move the read_i'th item out of the vector and map it
                    let e = ptr::read(this.0.as_ptr().add(read_i));