Make tests fail when zero properties are checked

[BenjaminW3]

I accidentally had RC_PARAMS with a specific reproduce in my environment that were related to a specific test executable.
While extending expectations in a different test executable I was surprised that the test was not failing.
Investigation turned out that the test succeeded because it did check zero properties (because the reproducer from the env does not apply) and so nothing failed.

Is it possible to make a test fail when nothing was checked at all?
Is there any use-case of tests succeeding even though nothing was checked at all?
Where can this check be added to?