{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
    /// regions (and if that's not true, we just don't attempt to
    /// `R1..Rn` regions -- they are always known to be universal
    /// enforce the constraint).