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) }
{ super::super::arithmetic::div_mod::rust_div(self as int, rhs as int) as i8 }
{ rhs != 0 && !(self == i16::MIN && rhs == -1) }
{ super::super::arithmetic::div_mod::rust_div(self as int, rhs as int) as i16 }
{ rhs != 0 && !(self == i32::MIN && rhs == -1) }
{ super::super::arithmetic::div_mod::rust_div(self as int, rhs as int) as i32 }
{ rhs != 0 && !(self == i64::MIN && rhs == -1) }
{ super::super::arithmetic::div_mod::rust_div(self as int, rhs as int) as i64 }
{ rhs != 0 && !(self == i128::MIN && rhs == -1) }
{ super::super::arithmetic::div_mod::rust_div(self as int, rhs as int) as i128 }
{ rhs != 0 && !(self == isize::MIN && rhs == -1) }
{ super::super::arithmetic::div_mod::rust_div(self as int, rhs as int) as isize }