Allocator-aware @safe reference counting is still not possible

[Atila Neves]

On Sunday, 25 September 2022 at 12:03:08 UTC, Paul Backus wrote:
> D has made a lot of progress recently on memory safety with 
> `-preview=dip1000`, thanks in no small part to [the work of 
> Dennis Korpel][1]. This progress has in turn enabled the 
> creation of [`SafeRefCounted`][2] by Ate Eskola, which will 
> hopefully be available in the next release of Phobos.
>
> [...]

Couldn't it be `@safe` iff the particular allocator's deallocate 
is `@safe` (or missing)?