{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
    /// * what placeholder they must outlive transitively
    ///
    ///   * if they must also be equal to a placeholder, report an error because `P1: P2`