News for hackers. Stuff that matters.
Re:Unsoundness in Pin by steveklabnik on Friday November 29, 2019 @10:25AM (#21664893)
Soundness bugs are the only thing we make an exception in our stability policy for. In general, unsoundness is treated as a serious issue. However, "unsoundness" can mean a few different things; in the "semantics of the language" sense, they're taken very seriously. In the "there's a compiler bug" sense, they're taken seriously, but in accordance with how likely they are to affect end users, and how much work they are to fix. For example, an incorrect type signature in the standard library was fixed one day after release by changing it to the correct one and re-releasing; an issue where casting between floating points and integers causes some problems has still not been fixed, because it partially has to do with LLVM's semantics combined with our semantics, and it's not clear how to do the right thing while not seriously regressing performance. (That being said that particular issue has had a flurry of activity in the past week...)

The GitHub label for these bugs is A-Unsound, which has the description "A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness".

Re:Unsoundness in Pin by mauricioc on Friday November 29, 2019 @10:29AM (#21664912)
Compiler bugs are not what I had in mind, so this answer is very reassuring! The original thread led me to believe this was not an absolute, official policy of the Rust project, but I am happy to hear it is.
Re:Unsoundness in Pin by steveklabnik on Friday November 29, 2019 @10:32AM (#21664927)
For more details, here's the written part of this: https://github.com/rust-lang/rfcs/blob/master/text/1122-lang...

Please note that threads on internals are able to be posted to by anyone; things expressed there may not represent the way that the team feels about things.