Function overlaps 

pub fn overlaps(a: &str, b: &str) -> Tri

Whether two patterns could ever match the same concrete resource.

This is the question par disjointness turns on: not “is one inside the other”, but “can these two touch the same thing at all”.