Trait NonZero 

pub unsafe trait NonZero {
    type Next;

    const VALUE: usize;
}

Safety

VALUE must be non-zero, and Self::Next::VALUE must be VALUE - 1 if Self::Next is NonZero.

Required Associated Constants

const VALUE: usize

Required Associated Types

type Next

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.

Implementors

impl NonZero for U1

SAFETY: VALUE is non-zero.

const VALUE: usize = 1

type Next = U0

impl NonZero for U2

SAFETY: VALUE is non-zero.

const VALUE: usize = 2

type Next = U1

impl NonZero for U3

SAFETY: VALUE is non-zero.

const VALUE: usize = 3

type Next = U2

impl NonZero for U4

SAFETY: VALUE is non-zero.

const VALUE: usize = 4

type Next = U3

impl NonZero for U5

SAFETY: VALUE is non-zero.

const VALUE: usize = 5

type Next = U4

impl NonZero for U6

SAFETY: VALUE is non-zero.

const VALUE: usize = 6

type Next = U5