Frank Steffahn

Labels from the closed duplicate #101470, @rustbot label A-diagnostics, A-lint, A-mir-opt, T-compiler.

As far as I could tell, miri uses a deterministic random number generation. Maybe increasing the `0..100` loop helps getting back an error?

Deterministic as in, does the same thing every run, reproducibly.

For these test cases, it might also be relevant how well-aligned the allocations just happen to be by mere chance. I don’t know how miri decides on that point. I...

To be clear, I have not tried implementing any of this yet, so there may possibly be oversights in things that could turn out not possible. Also, feel free to...

Sounds good to me ^^

I'll try to look into it today or tomorrow ^^

IIRC ouroboros has async construction APIs for a while already, so if we'd just mirror those, it might be sound (well.. or both are unsound). I haven't looked at the...