3 ms·
Unsafe != unsound
by Ar-Curunir 6y ago
Unsafe != unsound
- fluffything 6y agoI know. The Rust spec defines "unsound" as "introducing undefined behavior in safe Rust". The API of the cxx crate allows a safe Rust program to have undefined behavior, and it is therefore unsound.