I wonder whether the diagnostic for `#[deny(raw_pointer_deriving)]` would only report about it being renamed, or also that it has been removed? I suspect its former and I think we might want the behaviour resembling the later. 