3 ms·

I have put a bug report where my mouth is. https://github.com/rust-lang/rust/issues/111272 https://github.com/rust-lang/rust/issues/111272

• kibwen 3y ago
  Thanks for the report! We can continue there. :)