{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"///"}]}
/// Forward dataflow computation of the set of borrows that are in scope at a particular location.
/// - we gen the introduced loans