Function rustc_apfloat::ieee::sig::widening_mul[][src]

fn widening_mul(a: u128, b: u128) -> [u128; 2]
🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

[low, high] = a * b.

This cannot overflow, because

(n - 1) * (n - 1) + 2 * (n - 1) == (n - 1) * (n + 1)

which is less than n2.