Which version of rust are these in?
Looks like it was introduced in 1.81.0:
https://blog.rust-lang.org/2024/09/05/Rust-1.81.0/#new-sort-...
Looks like it was introduced in 1.81.0:
https://blog.rust-lang.org/2024/09/05/Rust-1.81.0/#new-sort-...