{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
                    // Update `scc_placeholders` to account for the fact that `P: S` must hold.
                if self.outer_universe.cannot_name(placeholder.universe) {
                    match self.scc_placeholders[scc] {