Twitter Feed
@steveklabnik replied to a tweet by @steveklabnik:
fun fact: "loops with no forward progress are UB" in C++ lead to a soundness hole in Rust for a few years. loop {} is just an infinite loop in Rust. But because of llvm, it inherited the C++ UB semantic for a while. Eventually that got fixed.