Fix some divergences with the cg_clif subtree#150341

bors merged 1 commit intorust-lang:mainrust-lang/rust:mainfrom

bjorn3:fix_cg_clif_divergencebjorn3/rust:fix_cg_clif_divergenceCopy head branch name to clipboard