Coverage tests not filtered when running testCompilation

[nicolasstucki]

Compiler version

7db4121

Minimized example

In the dotty project

sbt> scala3-bootstrapped/testCompilation thisTestDoesNotExist
...
info] Test run dotty.tools.dotc.coverage.CoverageTests started
[info] Test dotty.tools.dotc.coverage.CoverageTests.checkInstrumentedRuns started
No files matched "thisTestDoesNotExist" in test                                 
[error] Test dotty.tools.dotc.coverage.CoverageTests.checkInstrumentedRuns failed: java.nio.file.NoSuchFileException: /var/folders/gl/4_k_l76n3pq17f7zxm0v6v_w0000gn/T/coverage3235155365295970741/scoverage.coverage, took 0.011 sec
[error]     at sun.nio.fs.UnixException.translateToIOException(UnixException.java:86)
[error]     at sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:102)
[error]     at sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:107)
[error]     at sun.nio.fs.UnixFileSystemProvider.newByteChannel(UnixFileSystemProvider.java:214)
[error]     at java.nio.file.Files.newByteChannel(Files.java:361)
[error]     at java.nio.file.Files.newByteChannel(Files.java:407)
[error]     at java.nio.file.spi.FileSystemProvider.newInputStream(FileSystemProvider.java:384)
[error]     at java.nio.file.Files.newInputStream(Files.java:152)
[error]     at java.nio.file.Files.newBufferedReader(Files.java:2784)
[error]     at java.nio.file.Files.readAllLines(Files.java:3202)
[error]     at java.nio.file.Files.readAllLines(Files.java:3242)
[error]     at dotty.tools.dotc.coverage.CoverageTests.checkCoverageIn$$anonfun$2(CoverageTests.scala:55)
[error]     at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
[error]     at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
[error]     at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
[error]     at java.util.Iterator.forEachRemaining(Iterator.java:116)
[error]     at java.util.Spliterators$IteratorSpliterator.forEachRemaining(Spliterators.java:1801)
[error]     at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
[error]     at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
[error]     at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
[error]     at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
[error]     at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
[error]     at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
[error]     at dotty.tools.dotc.coverage.CoverageTests.checkCoverageIn(CoverageTests.scala:63)
[error]     at dotty.tools.dotc.coverage.CoverageTests.checkInstrumentedRuns(CoverageTests.scala:32)
[error]     ...
...

Expectation

The test should not attempt to run because it should be filtered