what do "soundness bugs" mean in rust? I thought soundness was a type system property (preservation + progress) and it's possible for the rust *type system* (the formalism) and compiler (the implementation of same) to have soundness bugs, but not programs?
Soundness bugs are when a program successfully compiles, thus allowing it to be executed and interact with the harsh reality of actual systems. Because executing programs leads to bugs, any program which successfully compiles in Rust is considered to be unsound
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.