{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"activation_map:"}]}
    activation_map: FxIndexMap<Location, Vec<BorrowIndex>>,
    location_map: FxIndexMap<Location, BorrowData<'tcx>>,
    local_map: FxIndexMap<mir::Local, FxIndexSet<BorrowIndex>>,