{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"Reservation(WriteKind),"}]}
    Reservation(WriteKind),
    /// each of those is furthermore distinguished from Reads/Writes above.
    Activation(WriteKind, BorrowIndex),