And we should probably also add a test for the "empty module given as test label, when adjacent modules do contain tests" case I described above.