I have a problem reported by PHPStan only when I run it on the command line--or when I disable showTypeOnHover.

It seems the extension's TreeFetcher somehow changes PHPStan's type inferences in some circumstances--perhaps only when bleeding edge is enabled? (I'm seeing the behaviour after moving to PHPStan 1.12.10 and enabling bleeding edge; it's not clear which was the trigger.)

The difference I'm observing is that PHPStan thinks a string is non-empty normally, but with TreeFetcher in the mix, the non-empty flag is removed. Ironically, the latter behaviour is correct, but that's beside the point ;)