incorrect type inference with dependent types

### Bug report

Regression introduced by https://github.com/phpstan/phpstan-src/commit/c5bfadba4a7a695732c6a6117711e88df573a467

See code snippet.

### Code snippet that reproduces the problem

https://phpstan.org/r/2c32da67-4483-4893-bdb3-81906ffc4461

### Expected output

Line 17: Dumped type: true

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

_No response_