Parameter #1 $ of closure expects TMemberType, TMemberType given

[dktapps]

Bug report

This bug only occurs when using checkExplicitMixed.

Code snippet that reproduces the problem

https://phpstan.org/r/c4e62cc8-4e3d-4637-b060-bbba2ec52f69

It doesn't reproduce on phpstan.org because checkExplicitMixed isn't available there.

Expected output

No error should be reported.

[dktapps]

The problem comes from here: https://github.com/phpstan/phpstan-src/blob/ba4bc4f7316a58aaf2d75be606c7b0d90aad136c/src/Rules/RuleLevelHelper.php#L63

The acceptedType in this sample is TemplateMixedType, which gets wiped out by StrictMixedType. I surmise that TMemberType of object doesn't have the same problem.

[ondrejmirtes]

Fixed: phpstan/phpstan-src@6ba9ef2

[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.