(Generics) Type lost after comparison

[LastDragon-ru]

Bug report

Please see example, PHPStan loses the type of $resolved after is_object($resolved) ? 1 : 2 (or if (...)).

Code snippet that reproduces the problem

https://phpstan.org/r/ce1c6c2c-257c-4f12-9220-7c730850124a

Expected output

Dumped type: V of object|null (method DependencyResolver::resolve(), argument) instead of just V

Did PHPStan help you today? Did it make you happy in any way?

No response

[phpstan-bot]

@LastDragon-ru After the latest push in 2.1.x, PHPStan now reports different result with your code snippet:

@@ @@
-PHP 8.1 – 8.4 (4 errors)
+PHP 8.1 – 8.4 (5 errors)
 ==========
 
 43: Dumped type: V of object|null (method DependencyResolver::resolve(), argument)
 49: Dumped type: V (method DependencyResolver::resolve(), argument)
+51: Access to property $run of internal class Resolver.
 51: Parameter #1 of closure expects object|null, V given.
 53: Method Resolver::resolve() should return V of object|null but returns V.
 

Full report

PHP 8.1 – 8.4 (5 errors)

Line	Error
43	`Dumped type: V of object
49	Dumped type: V (method DependencyResolver::resolve(), argument)
51	Access to property $run of internal class Resolver.
51	`Parameter #1 of closure expects object
53	`Method Resolver::resolve() should return V of object

PHP 7.2 – 8.0 (1 error)

Line	Error
34	Syntax error, unexpected T_STRING, expecting T_VARIABLE on line 34

[ondrejmirtes]

Fixed phpstan/phpstan-src#4267