{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"borrow_idx,"}]}
                        borrow_idx, borrow_data.reserve_location, borrow_data.region
                        "| {:?}: issued at {:?} in {:?}",
                    )?;