pub enum Overlap {
No,
Yes {
subset: bool,
},
}Expand description
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: boolTrue 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.