0 + 1 positive-int ArgumentTypeCoercion

[vudaltsov]

https://psalm.dev/r/f1f013e2b5

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/f1f013e2b5

<?php

$tick = 0;

test($tick + 1);

test(0 + 1);

/**
 * @psalm-param positive-int $tickedTimes
 */
function test(int $tickedTimes): void
{
}

Psalm output (using commit fc50dd3):

ERROR: ArgumentTypeCoercion - 5:6 - Argument 1 of test expects positive-int, parent type int provided

ERROR: ArgumentTypeCoercion - 7:6 - Argument 1 of test expects positive-int, parent type int provided

INFO: UnusedParam - 12:19 - Param $tickedTimes is never referenced in this method

[muglug]

Do you have a real-world example?

[vudaltsov]

Do you have a real-world example?

https://psalm.dev/r/93ac6549b2

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/93ac6549b2

<?php

$i = 0;

for ($j = 0; $j < random_int(0, 100); $j++) {
    // do smth that needs a zero-based index $i
    
    ++$i;
}

notifyHowManyOperationsItTook($i + 1);

/**
 * @psalm-param positive-int $times
 */
function notifyHowManyOperationsItTook(int $times): void
{
}

Psalm output (using commit d29620a):

ERROR: ArgumentTypeCoercion - 11:31 - Argument 1 of notifyHowManyOperationsItTook expects positive-int, parent type int provided

INFO: UnusedParam - 16:44 - Param $times is never referenced in this method