Enum ExhaustivenessResult 

pub enum ExhaustivenessResult {
    Exhaustive,
    NonExhaustive {
        enum_name: String,
        missing_variants: Vec<String>,
    },
    TriviallyExhaustive,
    NotApplicable,
}

Result of exhaustiveness checking

Variants

Exhaustive

Match is exhaustive (all cases covered)

NonExhaustive

Match is non-exhaustive (missing variants)

Fields

enum_name: String

missing_variants: Vec<String>

TriviallyExhaustive

Match is trivially exhaustive (has wildcard or catch-all pattern)

NotApplicable

Scrutinee is not an enum type (exhaustiveness not applicable)

Implementations

impl ExhaustivenessResult

pub fn is_exhaustive(&self) -> bool

Returns true if the match is exhaustive

pub fn to_error(&self) -> Option<TypeError>

Convert to a TypeError if non-exhaustive

Trait Implementations

impl Clone for ExhaustivenessResult

fn clone(&self) -> ExhaustivenessResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExhaustivenessResult

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

Formats the value using the given formatter.

impl PartialEq for ExhaustivenessResult

fn eq(&self, other: &ExhaustivenessResult) -> 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 StructuralPartialEq for ExhaustivenessResult