Template return type is not enforced since v1.4.6

[mvorisek]

Bug report

based on discussion #6575 (comment)

Until phpstan v1.4.6 this was working with level 6. Since phpstan v1.4.6 level 7 is required.

I do not understand why and I belive it is a bug.

/cc @arnaud-lb

Code snippet that reproduces the problem

https://phpstan.org/r/3eb789f9-8b3b-442b-97a9-94b6e8d80438

https://phpstan.org/r/fe43eab5-015b-47ad-b3b0-acbf7228dd27 even more problematic usecase @template-covariant TField of Field2, but returning Field

Expected output

EntityFieldPair::getField() is documented to return template type TField so when returning Field, error must be emit. This was working until phpstan v1.4.6.

[ondrejmirtes]

Yes, it was intentionaly moved to level 7: phpstan/phpstan-src#999 (comment)

[mvorisek]

At least the 2nd example is not detected correctly, but simple type usecase is: https://phpstan.org/r/09870e54-2bc7-4560-a95d-fab83ede23f8

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.