{"ast_node_type":"variable","tokens":[{"end":87,"kind":"keyword","start":0,"text":"&&"}]}
            && let Value::Address { place: mut pointee, kind, .. } = *self.get(pointer)
        if let Value::Projection(pointer, ProjectionElem::Deref) = *self.get(value)
            && let AddressKind::Ref(BorrowKind::Shared) = kind