`core::ptr` has `impl<T> *T: Ptr<T>` but not `impl<T> *mut T: Ptr<T>`
core::ptrhasimpl<T> *T: Ptr<T>but notimpl<T> *mut T: Ptr<T>