Enum PlaceValidity

pub enum PlaceValidity {
    ValidOnly,
    MaybeInvalid,
}

Track whether a given place (aka column) is known to contain a valid value or not.

Variants

ValidOnly

MaybeInvalid

Implementations

impl PlaceValidity

pub fn from_bool(is_valid_only: bool) -> Self

fn is_known_valid(self) -> bool

fn specialize<Cx: PatCx>(self, ctor: &Constructor<Cx>) -> Self

If the place has validity given by self and we read that the value at the place has constructor ctor, this computes what we can assume about the validity of the constructor fields.

Pending further opsem decisions, the current behavior is: validity is preserved, except inside & and union fields where validity is reset to MaybeInvalid.

Trait Implementations

impl Clone for PlaceValidity

fn clone(&self) -> PlaceValidity

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PlaceValidity

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

Formats the value using the given formatter.

impl Display for PlaceValidity

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

Formats the value using the given formatter.

impl PartialEq for PlaceValidity

fn eq(&self, other: &PlaceValidity) -> bool

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

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

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

impl Copy for PlaceValidity

impl Eq for PlaceValidity

impl StructuralPartialEq for PlaceValidity

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 1 byte

Size for each variant:

• ValidOnly: 0 bytes
• MaybeInvalid: 0 bytes