Skip to content

Regression: type narrowing on non-empty-list array shape #14297

Closed
Closed
Regression: type narrowing on non-empty-list array shape#14297
Labels
bug
Milestone
Easy fixes

Description

@ondrejmirtes
ondrejmirtes
opened on Mar 16, 2026

Bug report

See: https://phpstan.org/r/4a6f7ad0-6712-46f9-b793-1784b3952d63

Code snippet that reproduces the problem

https://phpstan.org/r/4a6f7ad0-6712-46f9-b793-1784b3952d63

Expected output

No errors

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

No response

Activity

  1. ondrejmirtes
    added
    bug
    on Mar 16, 2026
  2. ondrejmirtes
    added this to the Easy fixes milestone on Mar 16, 2026
  3. phpstan-bot
    added a commit that references this issue on Mar 16, 2026

    Fix count() type narrowing on constant array shapes in else branch

    e4da504

  4. phpstan-bot commented on Mar 16, 2026

    @phpstan-bot
    phpstan-bot
    on Mar 16, 2026
    Contributor

    Closed via merging phpstan/phpstan-src#5227

  5. phpstan-bot
    closed this as completedon Mar 16, 2026

  6. github-actions commented on Apr 17, 2026

    @github-actions
    github-actionsBot
    on Apr 17, 2026 – with GitHub Actions

    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.

  7. github-actions
    locked as resolved and limited conversation to collaborators on Apr 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bug

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions