{"ast_node_type":"import","tokens":[{"end":89,"kind":"keyword","start":0,"text":"///"}]}
    ///   * if they must also be equal to a placeholder, report an error because `P1: P2`
    /// * what placeholder they must outlive transitively
    /// * minimum universe U of all SCCs they must outlive