vec(positive_int()) throws away positive from int

[simPod]

\PHPStan\dumpType(vec(positive_int())->assert([]));

gives Dumped type: list<int>, it should give int<1, max>.

v1
psl 2.3.1
phpstan v1.9.14

[azjezz]

this seems to be a bug in phpstan, not psl.

ref: https://phpstan.org/r/dd513470-8f0b-4ac2-aeb2-f1a744361b50

cc @ondrejmirtes

[azjezz]

the same code works in psalm: https://psalm.dev/r/2bd5bdfee1

[ondrejmirtes]

I think it's valuable to keep this open. This isn't a PSL repo, but a PSL PHPStan extension repo.

[ondrejmirtes]

Even if the root cause fix belongs in PHPStan, it'd be valuable to land a regression test here.

[azjezz]

Oh, right! i thought this was the PSL repo 😅

[ondrejmirtes]

BTW to make your example green, you need template-covariant: https://phpstan.org/r/93cf74a1-99a4-4064-89b2-49eadd6208e6

[azjezz]

it shouldn't need to be covariant tho 🤔