Post

Jenna JJ Q.@tomatofacts3.bsky.social

The entire logic seems to be that &T is covariant and &mut T is invariant; and *const T corresponds to &T and *mut T corresponds to &mut T so they have the same variances. But this leads to situations like Box<T> using *const T under the hood since it needs to be covariant