Skip to content

Add regression test for #13253 - #6140

Merged
ondrejmirtes merged 1 commit into
2.2.xfrom
regression-test-13253
Jul 28, 2026
Merged

Add regression test for #13253#6140
ondrejmirtes merged 1 commit into
2.2.xfrom
regression-test-13253

Conversation

@ondrejmirtes

Copy link
Copy Markdown
Member

@phpstan-self-out chaining through a generic map() was fixed by the MethodCallHandler receiver conversion in e847fb433c (the third ExpressionResult-read batch): the receiver of the chained call is now read off the var result — where the self-out effect was applied during processing — instead of being re-priced on the after-scope, which lost the narrowing and produced mixed.

Verified test-first: the fixture fails on the pre-batch 2.2.x (Expected: non-empty-string / Actual: mixed) and passes since.

Closes phpstan/phpstan#13253

🤖 Generated with Claude Code

https://claude.ai/code/session_019wqGgaD7iqL44t1KgpJS7b

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019wqGgaD7iqL44t1KgpJS7b
@ondrejmirtes
ondrejmirtes merged commit c5de8fa into 2.2.x Jul 28, 2026
408 of 410 checks passed
@ondrejmirtes
ondrejmirtes deleted the regression-test-13253 branch July 28, 2026 17:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Type inference fails with @phpstan-self-out

1 participant