{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
                // (transitively). In that case, since `S = P1`, that implies
                // Check if we have some placeholder where `S: P2`
                // `P1: P2`, which is an error condition.