{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"&&"}]}
            && self.expr_guaranteed_to_constitute_read_for_never(expr)
        if self.try_structurally_resolve_type(expr.span, ty).is_never()
        {