Trait DivSpecImpl
Source pub trait DivSpecImpl<Rhs = Self>: Div<Rhs> {
// Required methods
exec fn obeys_div_spec() -> bool;
exec fn div_req(self, rhs: Rhs) -> bool
where Self: Sized;
exec fn div_spec(self, rhs: Rhs) -> Self::Output
where Self: Sized;
}
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.
{ rhs != 0 && !(self == i8::MIN && rhs == -1) }
{ if self >= 0 { (self / rhs) as i8 } else { (-((-self) / (rhs as int))) as i8 } }
{ rhs != 0 && !(self == i16::MIN && rhs == -1) }
{ if self >= 0 { (self / rhs) as i16 } else { (-((-self) / (rhs as int))) as i16 } }
{ rhs != 0 && !(self == i32::MIN && rhs == -1) }
{ if self >= 0 { (self / rhs) as i32 } else { (-((-self) / (rhs as int))) as i32 } }
{ rhs != 0 && !(self == i64::MIN && rhs == -1) }
{ if self >= 0 { (self / rhs) as i64 } else { (-((-self) / (rhs as int))) as i64 } }
{ rhs != 0 && !(self == i128::MIN && rhs == -1) }
{ if self >= 0 { (self / rhs) as i128 } else { (-((-self) / (rhs as int))) as i128 } }
{ rhs != 0 && !(self == isize::MIN && rhs == -1) }
{ if self >= 0 { (self / rhs) as isize } else { (-((-self) / (rhs as int))) as isize } }