Narrow array key type when removing `HasOffsetType` via `ArrayType::tryRemove`#5756

Open

phpstan-bot wants to merge 6 commits into

phpstan:2.1.xfrom

phpstan-bot:create-pull-request/patch-rvs2ifu

Commits on May 26, 2026

Add isset test to document that it does not narrow array key type

phpstan-bot
and
claude
committed
Add tests for non-empty-array key narrowing and isset non-narrowing

phpstan-bot
and
claude
committed