{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"//"}]}
// (b) compute its minimum universe
// (a) compute which placeholder (if any) each SCC must be equal to
// (c) compute *some* placeholder where `S: P1` (any one will do)