▲ | steveklabnik 2 days ago | |
No, I am saying that safe rust says “if unsafe is correct, safe rust means memory safety.” Profiles does not even reach that bar, it says “code under profiles is safer.” It’s not about specifics, it’s about the stated goals of profiles. They do not claim to prove memory safety even with all of them turned on. |