{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"///"}]}
    /// * what placeholder P it must be equal to, if any
    ///
    ///   * if there are multiple placeholders that must be equal, report an error because `P1: P2`