pub trait LeanMul: Sized + Copy {
// Required method
fn checked_mul_lean(self, rhs: Self) -> Option<Self>;
}Expand description
Checked multiplication that routes 64-bit unsigned products through
checked_mul_u64 and every other width through the library operator
(which needs no helper below 64 bits). Used by the wire integer types,
so WireU64::checked_mul and checked_mul_assign never link the helper.
Required Methods§
Sourcefn checked_mul_lean(self, rhs: Self) -> Option<Self>
fn checked_mul_lean(self, rhs: Self) -> Option<Self>
self * rhs, or None on overflow.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".