{"ast_node_type":"import","tokens":[{"end":99,"kind":"keyword","start":0,"text":"///"}]}
    ///   * if there are multiple placeholders that must be equal, report an error because `P1: P2`
    /// * what placeholder P it must be equal to, if any
    /// * the minimum universe of its constituents