{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"if"}]}
        if self.try_structurally_resolve_type(expr.span, ty).is_never()
        // e.g. `let _ = *never_ptr;` with `never_ptr: *const !`.
            && self.expr_guaranteed_to_constitute_read_for_never(expr)