Closed GuillaumeGomez closed 4 months ago
Originally implemented in https://github.com/rust-lang/rust/pull/121390.
It was done on rust side and synced afterwards, so no need to keep this open.
Originally implemented in https://github.com/rust-lang/rust/pull/121390.