{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"&&"}]}
            && self.expr_guaranteed_to_constitute_read_for_never(tgt_expr, is_read)
        if self.resolve_ty_shallow(&ty).is_never()
        {