Note that that language has changed: https://github.com/rust-lang/rust/commit/58645e06d9121ae37654b812d14041d0229d49c3#diff-6272bd172cf4be3f42a8e384d02cd6c72d8

Note that that language has changed: https://github.com/rust-lang/rust/commit/58645e06d9121ae37654b812d14041d0229d49c3#diff-6272bd172cf4be3f42a8e384d02cd6c72d8a9e9b7df2b228a72f02d052557162L11 https://github.com/rust-lang/rust/commit/58645e06d9121ae3765...