Enum cranelift_isle::trie_again::Overlap

pub enum Overlap {
    No,
    Yes {
        subset: bool,
    },
}

Records whether a given pair of rules can both match on some input.

Variants

No

There is no input on which this pair of rules can both match.

Yes

There is at least one input on which this pair of rules can both match.

Fields

subset: bool

True if every input accepted by one rule is also accepted by the other. This does not indicate which rule is more general and in fact the rules could match exactly the same set of inputs. You can work out which by comparing total_constraints() in both rules: The more general rule has fewer constraints.

Trait Implementations

impl Debug for Overlap

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

Formats the value using the given formatter.

impl PartialEq for Overlap

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

impl StructuralPartialEq for Overlap