Function patterns_may_overlap 

pub fn patterns_may_overlap(a: &str, b: &str) -> bool

Could any label match both patterns? Conservative: patterns are compared by their literal head (the text before the first wildcard), and heads that are prefixes of one another overlap.