{"ast_node_type":"variable","tokens":[{"end":60,"kind":"keyword","start":0,"text":"if"}]}
                if let Some(scc2_placeholder) = succ_bound {
                // `P1: P2`, which is an error condition.
                    assert_ne!(scc1_placeholder, scc2_placeholder);