In Rust, soundness means: if the compiler accepts a piece of code, but that code may trigger undefined behavior at runtime, then the compiler is unsound.