Advanced
Rust
Q92 / 100
What is soundness in Rust's type system?
Correct! Well done.
Incorrect.
The correct answer is B) The property that safe Rust code can never cause undefined behavior; a library is sound if all valid uses of its public safe API cannot cause UB
B
Correct Answer
The property that safe Rust code can never cause undefined behavior; a library is sound if all valid uses of its public safe API cannot cause UB
Explanation
Soundness is Rust's core guarantee. A library with unsafe internals is sound if its safe interface cannot be misused to cause UB. Unsound APIs are bugs.
Progress
92/100