{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"///"}]}
    /// Should be the same `ecx` on each call, and match the one used to create the iterator.
impl<'a, 'tcx, Prov: Provenance, P: Projectable<'tcx, Prov>> ArrayIterator<'a, 'tcx, Prov, P> {
    pub fn next<M: Machine<'tcx, Provenance = Prov>>(