{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// R1 or R2). This is important when fulfillment, dropck and other such
    /// which will map R1 and R2 to some common region (i.e., either
    /// code is iterating to a fixed point, because otherwise we sometimes