fix f16 doctest FIXMEs#151468

rust-bors[bot] merged 3 commits intorust-lang:mainrust-lang/rust:mainfrom

folkertdev:f16-fixmesfolkertdev/rust:f16-fixmesCopy head branch name to clipboard