{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"//"}]}
// - `S: P1` and minimum universe cannot name `P1`
// - it must be equal to a placeholder `P1` and minimum universe cannot name `P1`
// - `S: P1` and we must be equal to `P2`