{"ast_node_type":"function","tokens":[{"end":53,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn next<M: Machine<'tcx, Provenance = Prov>>(
    /// Should be the same `ecx` on each call, and match the one used to create the iterator.
        &mut self,