After examination, it doesn't appear that deriving raw pointers presents any kind of safety problem (no derivings dereference unsafe pointers). Most people seem to believe that the original justification presented in https://github.com/mozilla/rust/issues/13032 isn't sufficient.