Trait StrictAdd 

pub trait StrictAdd: Sized {
    type Output;

    // Required method
    fn strict_add(self, v: Self) -> Self::Output;
}

Performs addition that panics on overflow, even in release builds.

Required Associated Types

type Output

The result type (Self for the primitive impls).

Required Methods

fn strict_add(self, v: Self) -> Self::Output

Strict addition. Computes self + v, panicking on overflow regardless of whether overflow checks are enabled.

use const_num_traits::StrictAdd;

assert_eq!(StrictAdd::strict_add(5u8, 250), 255);

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl StrictAdd for i8

type Output = i8

fn strict_add(self, v: Self) -> Self

impl StrictAdd for i16

type Output = i16

fn strict_add(self, v: Self) -> Self

impl StrictAdd for i32

type Output = i32

fn strict_add(self, v: Self) -> Self

impl StrictAdd for i64

type Output = i64

fn strict_add(self, v: Self) -> Self

impl StrictAdd for i128

type Output = i128

fn strict_add(self, v: Self) -> Self

impl StrictAdd for isize

type Output = isize

fn strict_add(self, v: Self) -> Self

impl StrictAdd for u8

type Output = u8

fn strict_add(self, v: Self) -> Self

impl StrictAdd for u16

type Output = u16

fn strict_add(self, v: Self) -> Self

impl StrictAdd for u32

type Output = u32

fn strict_add(self, v: Self) -> Self

impl StrictAdd for u64

type Output = u64

fn strict_add(self, v: Self) -> Self

impl StrictAdd for u128

type Output = u128

fn strict_add(self, v: Self) -> Self

impl StrictAdd for usize

type Output = usize

fn strict_add(self, v: Self) -> Self

Implementors