Per decision in https://github.com/rust-lang/rust/issues/65748, this is the current normative behavior. This just needs to be documented in the reference now.