Eliminate duplicate codes of is_single_fp_element#92021

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

woodenarrow:br_single_fp_elementwoodenarrow/rust:br_single_fp_elementCopy head branch name to clipboard