Yohta Kimura

There are lot of similar issues https://github.com/phpstan/phpstan/issues/7501 https://github.com/phpstan/phpstan/issues/7244 https://github.com/phpstan/phpstan/issues/5304 I looked for a fix, but didn't look easy enough to solve... (at least for me...)

I think this feature seems implemented already https://github.com/phpstan/phpstan-src/pull/1280 you should enable some options to make phpstan report https://phpstan.org/blog/bring-your-exceptions-under-control as you mentioned, report for float is not possible yet.

https://3v4l.org/FGt21 https://3v4l.org/QHiFj Just for additional information, `$a = 'a'; $a++;` doesn't always mean `$a === 'b'` and behaves different in some encodings. I don't have a opinion whether it is...

Wow! The picture was much bigger than I thought. This sounds really interesting too. I'm currently working on https://github.com/phpstan/phpstan-src/pull/1270#issuecomment-1115079016 mainly, I think I can look into this one after it...

I'm not sure if my pull request is on the right track, but I have a WIP pull request that may help? and is related to this. https://github.com/phpstan/phpstan-src/pull/1535 Right now...

My pull request is mainly trying to solve 2. that ondrej mentions in https://github.com/phpstan/phpstan-src/pull/1627#issuecomment-1216645119 and lacking 1. I think.

@staabm This was harder to solve than I thought. You can see https://github.com/phpstan/phpstan-src/pull/1495 when $var is specified, you might narrow down $var->call() more. In this case, $var->call() is specified as...

I think it’s almost done. Several native type specification are missing.

Finally done it? I hope this pull request makes sense:smile:

I prefer heading to 1.9.x because it's gonna be a huge change for `treatPhpDocTypesAsCertain: false`