{"ast_node_type":"variable","tokens":[{"end":97,"kind":"keyword","start":0,"text":"if"}]}
        if let Some(Terminator { kind: TerminatorKind::Call { call_source, fn_span, .. }, .. }) =
        let tcx = self.infcx.tcx;
            &self.body[loan.reserve_location.block].terminator