Understanding the stacked borrow check in miri+potential unsoundness in genawaiter crate?

help
2

I'm curious if this is the same issue as Suspicious "undefined behavior" report by miri when using `tokio::task::yield_now`?