{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
    // FIXME: ideally this would be a set of `BorrowIndex`, not `Place`s,
    //
    // but it is currently inconvenient to track down the `BorrowIndex`