{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"///"}]}
    /// Process the matcher positions of `cur_mps` until it is empty. In the process, this will
    /// produce more mps in `next_mps` and `bb_mps`.