Closed tgross35 closed 1 week ago
Discussed at https://github.com/rust-lang/team/pull/1487#issuecomment-2202309264
Discussed at https://github.com/rust-lang/team/pull/1487#issuecomment-2202309264