A follow-up to https://github.com/rust-lang/nomicon/pull/296#issuecomment-902924178.