{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"///"}]}
/// - `polonius_facts` -- when using Polonius, this is the generated set of Polonius facts
/// - `borrow_set` -- information about borrows occurring in `body`
/// - `move_data` -- move-data constructed when performing the maybe-init dataflow analysis