pub trait MulAssignSpecImpl<Rhs = Self>: MulAssign<Rhs> {
// Required methods
exec fn obeys_mul_assign_spec() -> bool;
exec fn mul_assign_req(&self, rhs: Rhs) -> bool;
exec fn mul_assign_spec(&self, rhs: Rhs) -> &Self;
}Required Methods§
Sourceexec fn obeys_mul_assign_spec() -> bool
exec fn obeys_mul_assign_spec() -> bool
Sourceexec fn mul_assign_req(&self, rhs: Rhs) -> bool
exec fn mul_assign_req(&self, rhs: Rhs) -> bool
Sourceexec fn mul_assign_spec(&self, rhs: Rhs) -> &Self
exec fn mul_assign_spec(&self, rhs: Rhs) -> &Self
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.
Implementations on Foreign Types§
Source§impl MulAssignSpecImpl for i8
impl MulAssignSpecImpl for i8
Source§open spec fn obeys_mul_assign_spec() -> bool
open spec fn obeys_mul_assign_spec() -> bool
{ true }Source§open spec fn mul_assign_req(&self, rhs: i8) -> bool
open spec fn mul_assign_req(&self, rhs: i8) -> bool
{ (self * rhs) as i8 == (self * rhs) }Source§open spec fn mul_assign_spec(&self, rhs: i8) -> &Self
open spec fn mul_assign_spec(&self, rhs: i8) -> &Self
{ &((self * rhs) as i8) }Source§impl MulAssignSpecImpl for i16
impl MulAssignSpecImpl for i16
Source§open spec fn obeys_mul_assign_spec() -> bool
open spec fn obeys_mul_assign_spec() -> bool
{ true }Source§open spec fn mul_assign_req(&self, rhs: i16) -> bool
open spec fn mul_assign_req(&self, rhs: i16) -> bool
{ (self * rhs) as i16 == (self * rhs) }Source§open spec fn mul_assign_spec(&self, rhs: i16) -> &Self
open spec fn mul_assign_spec(&self, rhs: i16) -> &Self
{ &((self * rhs) as i16) }Source§impl MulAssignSpecImpl for i32
impl MulAssignSpecImpl for i32
Source§open spec fn obeys_mul_assign_spec() -> bool
open spec fn obeys_mul_assign_spec() -> bool
{ true }Source§open spec fn mul_assign_req(&self, rhs: i32) -> bool
open spec fn mul_assign_req(&self, rhs: i32) -> bool
{ (self * rhs) as i32 == (self * rhs) }Source§open spec fn mul_assign_spec(&self, rhs: i32) -> &Self
open spec fn mul_assign_spec(&self, rhs: i32) -> &Self
{ &((self * rhs) as i32) }Source§impl MulAssignSpecImpl for i64
impl MulAssignSpecImpl for i64
Source§open spec fn obeys_mul_assign_spec() -> bool
open spec fn obeys_mul_assign_spec() -> bool
{ true }Source§open spec fn mul_assign_req(&self, rhs: i64) -> bool
open spec fn mul_assign_req(&self, rhs: i64) -> bool
{ (self * rhs) as i64 == (self * rhs) }Source§open spec fn mul_assign_spec(&self, rhs: i64) -> &Self
open spec fn mul_assign_spec(&self, rhs: i64) -> &Self
{ &((self * rhs) as i64) }Source§impl MulAssignSpecImpl for i128
impl MulAssignSpecImpl for i128
Source§open spec fn obeys_mul_assign_spec() -> bool
open spec fn obeys_mul_assign_spec() -> bool
{ true }Source§open spec fn mul_assign_req(&self, rhs: i128) -> bool
open spec fn mul_assign_req(&self, rhs: i128) -> bool
{ (self * rhs) as i128 == (self * rhs) }Source§open spec fn mul_assign_spec(&self, rhs: i128) -> &Self
open spec fn mul_assign_spec(&self, rhs: i128) -> &Self
{ &((self * rhs) as i128) }Source§impl MulAssignSpecImpl for isize
impl MulAssignSpecImpl for isize
Source§open spec fn obeys_mul_assign_spec() -> bool
open spec fn obeys_mul_assign_spec() -> bool
{ true }Source§open spec fn mul_assign_req(&self, rhs: isize) -> bool
open spec fn mul_assign_req(&self, rhs: isize) -> bool
{ (self * rhs) as isize == (self * rhs) }Source§open spec fn mul_assign_spec(&self, rhs: isize) -> &Self
open spec fn mul_assign_spec(&self, rhs: isize) -> &Self
{ &((self * rhs) as isize) }Source§impl MulAssignSpecImpl for u8
impl MulAssignSpecImpl for u8
Source§open spec fn obeys_mul_assign_spec() -> bool
open spec fn obeys_mul_assign_spec() -> bool
{ true }Source§open spec fn mul_assign_req(&self, rhs: u8) -> bool
open spec fn mul_assign_req(&self, rhs: u8) -> bool
{ (self * rhs) as u8 == (self * rhs) }Source§open spec fn mul_assign_spec(&self, rhs: u8) -> &Self
open spec fn mul_assign_spec(&self, rhs: u8) -> &Self
{ &((self * rhs) as u8) }Source§impl MulAssignSpecImpl for u16
impl MulAssignSpecImpl for u16
Source§open spec fn obeys_mul_assign_spec() -> bool
open spec fn obeys_mul_assign_spec() -> bool
{ true }Source§open spec fn mul_assign_req(&self, rhs: u16) -> bool
open spec fn mul_assign_req(&self, rhs: u16) -> bool
{ (self * rhs) as u16 == (self * rhs) }Source§open spec fn mul_assign_spec(&self, rhs: u16) -> &Self
open spec fn mul_assign_spec(&self, rhs: u16) -> &Self
{ &((self * rhs) as u16) }Source§impl MulAssignSpecImpl for u32
impl MulAssignSpecImpl for u32
Source§open spec fn obeys_mul_assign_spec() -> bool
open spec fn obeys_mul_assign_spec() -> bool
{ true }Source§open spec fn mul_assign_req(&self, rhs: u32) -> bool
open spec fn mul_assign_req(&self, rhs: u32) -> bool
{ (self * rhs) as u32 == (self * rhs) }Source§open spec fn mul_assign_spec(&self, rhs: u32) -> &Self
open spec fn mul_assign_spec(&self, rhs: u32) -> &Self
{ &((self * rhs) as u32) }Source§impl MulAssignSpecImpl for u64
impl MulAssignSpecImpl for u64
Source§open spec fn obeys_mul_assign_spec() -> bool
open spec fn obeys_mul_assign_spec() -> bool
{ true }Source§open spec fn mul_assign_req(&self, rhs: u64) -> bool
open spec fn mul_assign_req(&self, rhs: u64) -> bool
{ (self * rhs) as u64 == (self * rhs) }Source§open spec fn mul_assign_spec(&self, rhs: u64) -> &Self
open spec fn mul_assign_spec(&self, rhs: u64) -> &Self
{ &((self * rhs) as u64) }Source§impl MulAssignSpecImpl for u128
impl MulAssignSpecImpl for u128
Source§open spec fn obeys_mul_assign_spec() -> bool
open spec fn obeys_mul_assign_spec() -> bool
{ true }Source§open spec fn mul_assign_req(&self, rhs: u128) -> bool
open spec fn mul_assign_req(&self, rhs: u128) -> bool
{ (self * rhs) as u128 == (self * rhs) }Source§open spec fn mul_assign_spec(&self, rhs: u128) -> &Self
open spec fn mul_assign_spec(&self, rhs: u128) -> &Self
{ &((self * rhs) as u128) }Source§impl MulAssignSpecImpl for usize
impl MulAssignSpecImpl for usize
Source§open spec fn obeys_mul_assign_spec() -> bool
open spec fn obeys_mul_assign_spec() -> bool
{ true }Source§open spec fn mul_assign_req(&self, rhs: usize) -> bool
open spec fn mul_assign_req(&self, rhs: usize) -> bool
{ (self * rhs) as usize == (self * rhs) }Source§open spec fn mul_assign_spec(&self, rhs: usize) -> &Self
open spec fn mul_assign_spec(&self, rhs: usize) -> &Self
{ &((self * rhs) as usize) }