Variadic argument's type can be narrowed #14744

Feature request

function f(mixed ...$args): void
{
    \PHPStan\dumpType($args);
}

Currently outputs: array<int|string, mixed>

Could be: array<non-negative-int|non-empty-string, mixed>.

Did PHPStan help you today? Did it make you happy in any way?

No response