You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I discussed this with @Manishearth last night and we came to the conclusion that we don't have enough information at this point to lint this case. It's a common pattern to cast from ZST pointers to larger types and the lint will always trigger here. We have to assume here that the user knows where the pointer was produced. We can't draw any conclusions from the left-hand pointer.
The situation is similar to c_void, which is already ignored.