{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"match"}]}
                    match self.scc_placeholders[scc] {
                    // Update `scc_placeholders` to account for the fact that `P: S` must hold.
                        Some(p) => {