{"ast_node_type":"variable","tokens":[{"end":65,"kind":"keyword","start":0,"text":"//"}]}
        // e.g. `let _ = *never_ptr;` with `never_ptr: *const !`.
        // diverging would be unsound since we may never actually read the `!`.
        if self.try_structurally_resolve_type(expr.span, ty).is_never()