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

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.

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