Enum ra_ap_rustc_pattern_analysis::usefulness::ValidityConstraint

pub enum ValidityConstraint {
    ValidOnly,
    MaybeInvalid,
}

Serves two purposes:

• in a wildcard, tracks whether the wildcard matches only valid values (i.e. is a binding _a) or also invalid values (i.e. is a true _ pattern).
• in the matrix, track whether a given place (aka column) is known to contain a valid value or not.

Variants

ValidOnly

MaybeInvalid

Implementations

impl ValidityConstraint

pub fn from_bool(is_valid_only: bool) -> Self

Trait Implementations

impl Clone for ValidityConstraint

fn clone(&self) -> ValidityConstraint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValidityConstraint

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

Formats the value using the given formatter.

impl Display for ValidityConstraint

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

Formats the value using the given formatter.

impl PartialEq for ValidityConstraint

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for ValidityConstraint

impl Eq for ValidityConstraint

impl StructuralPartialEq for ValidityConstraint