{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
    // but it is currently inconvenient to track down the `BorrowIndex`
    // FIXME: ideally this would be a set of `BorrowIndex`, not `Place`s,
    // at the time we detect and report a reservation error.