Widen the result of widening_mul.#156644

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

bjoernager:widening-mulbjoernager/rust:widening-mulCopy head branch name to clipboard