That's simply not possible, all intrinsics are unsafe by definition, the rust compiler can't check them for the same guarantees.