在Rust中，健全性（Soundness）是指：如果编译器接受了一段代码，但该代码在运行时可能触发未定义行为，则编译器不健全。