Incorrect type narrowing with dependent types

Bug report

Since 2.1.45. See code snippet.

Code snippet that reproduces the problem

https://phpstan.org/r/4b557d4b-6dac-4bdd-8758-b97ecd0a9ef0

Expected output

No error on line 22.

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

No response

Fix phpstan/phpstan#14411: Incorrect type narrowing with dependent types

Fix incorrect type narrowing with dependent types in scope merging

Fix phpstan/phpstan#14411: Incorrect type narrowing with dependent ty…

Closed via merging phpstan/phpstan-src#5373

Updated PHPStan to commit 4e6a1a87dad6017072d39e6351aac148da23a9f7

Updated PHPStan to commit 830c5ccf534f181e4d37361025f1dda6cc2c1d92

Fix phpstan/phpstan#14411: Incorrect type narrowing with dependent ty…

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

Navigation Menu

Repository navigation

Incorrect type narrowing with dependent types #14411

Bug report

Code snippet that reproduces the problem

Expected output

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

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Incorrect type narrowing with dependent types #14411

Description

Bug report

Code snippet that reproduces the problem

Expected output

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

Activity

phpstan-bot commented on Apr 1, 2026

github-actions commented on May 3, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions