Assuming __LINE__ is int type

[brzuchal]

I presume a constant called __LINE__ will always be positive-int. Cannot imagine file line -1.
Here is an example of a failure https://psalm.dev/r/d81c91af5e

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/d81c91af5e

<?php

/**
 * @param positive-int $i
 */
function line(int $i): int {
    return $i;
}
line(__LINE__)

Psalm output (using commit f90118c):

ERROR: ParseError - 9:15 - Syntax error, unexpected EOF on line 9

ERROR: ArgumentTypeCoercion - 9:6 - Argument 1 of line expects int<1, max>, but parent type int provided

[orklah]

Seems legit :)

You can change this here:

psalm/src/Psalm/Internal/Analyzer/Statements/Expression/SimpleTypeInferer.php

Line 290 in 30369e8

return Type::getInt();

Up for a PR?

[brzuchal]

Can try

[brzuchal]

@orklah I found 10 places where I could replace new TIntRange(1, null) with the newly introduced it'll be 11 - should I create a Type::getIntRange() and Type::getPositiveInt() helper methods?

[orklah]

Yeah, please do :)

[weirdan]

Fixed in #9921