{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"//"}]}
                // `P1: P2`, which is an error condition.
                // (transitively). In that case, since `S = P1`, that implies
                if let Some(scc2_placeholder) = succ_bound {