Use faster disjointness check for markers (#10439)

2025-01-09 19:31:51 +01:00
parent 14b685d9fb
commit 57367ed327
1 changed files with 1 additions and 2 deletions
@@ -1412,8 +1412,7 @@ impl Edges {
        // not the resulting edges.
        for (left_range, left_child) in left_edges {
            for (right_range, right_child) in right_edges {
-                let intersection = right_range.intersection(left_range);
-                if intersection.is_empty() {
+                if right_range.is_disjoint(left_range) {
                    continue;
                }