{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"///"}]}
    /// Note: for now, the sets of live loans is only available when using `-Zpolonius=next`.
    /// region is contained within the type of a variable that is live at this point.
    pub(crate) fn is_loan_live_at(&self, loan_idx: BorrowIndex, location: Location) -> bool {