{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"loan_kills::emit_loan_kills(tcx,"}]}
    loan_kills::emit_loan_kills(tcx, facts, body, location_table, borrow_set);
    emit_universal_region_facts(facts, borrow_set, universal_region_relations);
    loan_invalidations::emit_loan_invalidations(tcx, facts, body, location_table, borrow_set);