> Have you ever had success with Miri on non-trivial programs? The key is to isolate the unsafe code and test it directly, so you're not really doing it with w

> Have you ever had success with Miri on non-trivial programs? The key is to isolate the unsafe code and test it directly, so you're not really doing it with whole programs. At least that's what I try to do. Anyway, was just curious! (I don't have anything to say about the specific code here that cmr didn't already say) > Sure but I think we can agree that the deliberately unsound is for ergonomic and pragmatic compatibility with JS, Oh absolutely, all I meant was that because they're starting from different goals, they can make different choices.