Wrong types for tests of forbidden functions

[mainsmirnov]

Describe the bug In PHPStorm by JetBrains code highlights red, because he scanning vendor directory and find global functions in ForbiddenFunctionsUnitTest.inc. Exclude directory not helping.

Example:

Code sample

function test(int $b) {}

$a = count([1]);
test($a);