{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"///"}]}
    /// * minimum universe U of all SCCs they must outlive
    ///   * if they must also be equal to a placeholder, report an error because `P1: P2`
    ///   * if they must also be equal to a placeholder P, and U cannot name P, report an error, as