Trait Tag

pub trait Tag:
    Copy
    + Eq
    + Ord
    + Debug
    + Default
    + Sized {
    const IS_SIGNIFICANT: bool;

    // Required method
    fn constrain(self) -> Self;
}

Required Associated Constants

const IS_SIGNIFICANT: bool

Required Methods

fn constrain(self) -> 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

impl Tag for u32

const IS_SIGNIFICANT: bool = true

fn constrain(self) -> Self

Implementors

impl Tag for NoTag

const IS_SIGNIFICANT: bool = false