Closed toyboot4e closed 2 years ago
I think it doesn't matter in real case, but I'm not an unsafe export
Hm, it's totally possible that we aren't doing something right here. I'm not an unsafety expert either here. This code does work in a lot of configurations but I'm inclined to believe miri.
miri test result: