Note that that language has changed:

https://github.com/rust-lang/rust/commit/58645e06d9121ae3765...