{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"///"}]}
    /// avoid making arbitrary choices. See
    /// cases, this is more conservative than necessary, in order to
    /// `TransitiveRelation::postdom_upper_bound` for more details.