Struct PhantomInvariantLifetime 

pub struct PhantomInvariantLifetime<'a>(/* private fields */);

🔬This is a nightly-only experimental API. (phantom_variance_markers #135806)

Zero-sized type used to mark a lifetime as invariant.

Invariant lifetimes must be live for the exact length declared, neither shorter nor longer. See the reference for more information.

Layout

For all 'a, the following are guaranteed:

• size_of::<PhantomInvariantLifetime<'a>>() == 0
• align_of::<PhantomInvariantLifetime<'a>>() == 1

Implementations

impl PhantomInvariantLifetime<'_>

pub const fn new() -> Self

🔬This is a nightly-only experimental API. (phantom_variance_markers #135806)

Constructs a new instance of the variance marker.

Trait Implementations

impl<'a> Clone for PhantomInvariantLifetime<'a>

fn clone(&self) -> PhantomInvariantLifetime<'a>

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

where Self:,

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Performs copy-assignment from source.

impl Debug for PhantomInvariantLifetime<'_>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Formats the value using the given formatter.

impl<'a> Default for PhantomInvariantLifetime<'a>

fn default() -> PhantomInvariantLifetime<'a>

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Returns the “default value” for a type.

impl<'a> Hash for PhantomInvariantLifetime<'a>

fn hash<__H: Hasher>(&self, state: &mut __H)

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Feeds this value into the given Hasher.

fn hash_slice<H: Hasher>(data: &[Self], state: &mut H)

where Self: Sized,

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Feeds a slice of this type into the given Hasher.

impl<'a> Ord for PhantomInvariantLifetime<'a>

fn cmp(&self, other: &PhantomInvariantLifetime<'a>) -> Ordering

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Restrict a value to a certain interval.

impl<'a> PartialEq for PhantomInvariantLifetime<'a>

fn eq(&self, other: &PhantomInvariantLifetime<'a>) -> bool

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> PartialOrd for PhantomInvariantLifetime<'a>

fn partial_cmp(&self, other: &PhantomInvariantLifetime<'a>) -> Option<Ordering>

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This item is validated for IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<'a> Copy for PhantomInvariantLifetime<'a>

impl<'a> Eq for PhantomInvariantLifetime<'a>

impl<'a> StructuralPartialEq for PhantomInvariantLifetime<'a>

impl Variance for PhantomInvariantLifetime<'_>