Comment Comment by weinzierl Exactly, and also MIRI catches all of these, so with a tiny little extra effort world is in order again.Moreover, if I remember correctly, they all are made possible by a single (long-standing) compiler bug that eventually will be fixed.Previously discussed: https://news.ycombinator.com/item?id=39440808I think this mindset is the big difference. We're not perfect, but we're working on it. parent weinzierl 1 year ago
Moreover, if I remember correctly, they all are made possible by a single (long-standing) compiler bug that eventually will be fixed.
Previously discussed: https://news.ycombinator.com/item?id=39440808
I think this mindset is the big difference. We're not perfect, but we're working on it.