{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
    // this point falls in between the reservation and location.
    // so check if the location is dominated by R.successor. If so,
    let reserve_location = borrow_data.reserve_location.successor_within_block();