{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// remove from the map (and add to the "tombstone" set below).
    /// the borrow. When we find a later use of this activation, we
    pending_activations: FxIndexMap<mir::Local, BorrowIndex>,