Show More
@@ -479,7 +479,13 b' impl IntersectionMatcher {' | |||
|
479 | 479 | m1_files.iter().cloned().filter(|f| m2.matches(f)).collect() |
|
480 | 480 | }) |
|
481 | 481 | } else { |
|
482 | None | |
|
482 | // without exact input file sets, we can't do an exact | |
|
483 | // intersection, so we must over-approximate by | |
|
484 | // unioning instead | |
|
485 | m1.file_set().map(|m1_files| match m2.file_set() { | |
|
486 | Some(m2_files) => m1_files.union(m2_files).cloned().collect(), | |
|
487 | None => m1_files.iter().cloned().collect(), | |
|
488 | }) | |
|
483 | 489 | }; |
|
484 | 490 | Self { m1, m2, files } |
|
485 | 491 | } |
General Comments 0
You need to be logged in to leave comments.
Login now