{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"///"}]}
    /// - intersect this one;
    /// - come before this one in the match;
    /// - at the end of the algorithm, if `!self.useful`, their union covers this pattern.