> we have a patch in the queue If you mean this one[1], it's merged. Still lots of work to do, and even more corners where things will shake out[2], but there'

> we have a patch in the queue If you mean this one[1], it's merged. Still lots of work to do, and even more corners where things will shake out[2], but there's definitely progress. [1]: https://github.com/rust-lang/rust/pull/33460 https://github.com/rust-lang/rust/pull/33460 [2]: https://github.com/rust-lang/rust/pull/34174 https://github.com/rust-lang/rust/pull/34174