On 11/15/2020 6:34 AM, Timon Gehr wrote: > And an unsound interface between the two so you can have your O/B and safety > type checks and even get the luxury of some memory corruption anyway. In Rust there are unsafe (i.e. unsound) functions, too. It's not possible to make Rust work without them.