One issue with deprecated_safe: there could be existing uses of these functions in unsafe blocks (and, in particular, in unsafe fn, which are unsafe blocks by default) -- and those users would not get any notification that there now is a new safety condition to uphold.
I do not have a good suggestion for resolving this, other than actually deprecating the old functions and introducing new, unsafe functions under new names.