{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    ///     that indicates `P: R` and `R` is in an incompatible universe
    ///   * if they must also be equal to a placeholder P, and U cannot name P, report an error, as
    ///