Do not set native type to mixed on annotation assignment

[herndlm]

Not sure, but this looked weird to me. Or did I misunderstand it?

My shuffle tests started failing partly, but that makes sense to me because they were influencing each other and not cleanly separated. E.g. this should fix https://phpstan.org/r/20b7a14a-21e8-4e2e-aca7-c1119fc8528c

dang, this doesn't seem to fix any open issues, I was hoping it would, should have created one for my snippet 😅

CC @rajyan

[rajyan]

Looks good to me!

I'm now thinking maybe making native type for assign variable required was not the right direction.
The purpose was to make native type exist in scope as full types too, so the variable certainty is handled correctly.

dang, this doesn't seem to fix any open issues

I think changing the type by @var after the first assign is a rather rare case? and treatPhpDocTypesAsCertain is not used that much currently.

[ondrejmirtes]

Thank you!