Static analysis suite rendered useless by past refactoring?

See b5addd4db662dc0c2579b595a4482244054a6ad6

In this commit, the static analysis test suite was rendered non-functional.

For instance:

/**
 * @psalm-pure
 *
 * @param mixed $value
- *
- * @return iterable<string>
 */
function allString($value): iterable
{
    Assert::allString($value);

    return $value;
}

This rendered the main purpose of the allString() function moot: static analysis tooling is no longer picking up if an iterable<string> is being produced