I’ve wanted something like this deeply integrated into my programming language. The compiler already knows that fine-grained dependency information; it should be able to use that to ignore tests for modules that are not in the dependency subgraph of the diff