{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"//"}]}
    //   added to the existing number of loans, as if they succeeded them in the set.
    //   the `borrow_set`, their `BorrowIndex` are synthesized as the universal region index
    //