Yes, it was introduced many years ago and has been in production for quite some time now. You can completely eliminate use-after-free, double-free, dangling pointers, memory leaks, and null dereferences.
You should take another look, lots have changed in this scene.
Has full Ada solved their unsafe de-allocation problem in a way that's comparable to the borrow checker's guarantees?