{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"///"}]}
    /// region is contained within the type of a variable that is live at this point.
    /// Returns whether the `loan_idx` is live at the given `location`: whether its issuing
    /// Note: for now, the sets of live loans is only available when using `-Zpolonius=next`.