Reducing Raw Pointer Footguns: Preventing Reference Aliasing Violations at Compile Time

All unsafe usages in your example code are missing safety comments proving they are indeed safe. If you try to add them you should see why your proposed API is unsound.