{"ast_node_type":"function","tokens":[{"end":93,"kind":"keyword","start":0,"text":"pub(crate)"}]}
    pub(crate) fn is_loan_live_at(&self, loan_idx: BorrowIndex, location: Location) -> bool {
    /// Note: for now, the sets of live loans is only available when using `-Zpolonius=next`.
        let point = self.liveness_constraints.point_from_location(location);