{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"//"}]}
    // borrows of P, P.a.b, etc.
    // check for loan restricting path P being used. Accounts for
    for &i in borrows_for_place_base {