Unfortunately as language designers we can only give people tools to build safe programs, we can’t force them to always use those tools correctly. There will always be developers that figure out innovative ways to unsafely use your PL.
For those that want to be writing safe programs, we now have the tools available to them do so. Those don’t exist at the moment.