Skip to content

Seemingly same type reports as invalid/incompatible. #13440

Closed

Description

@blibio

Bug report

From the discussion at #13363 a potential bug was found. Though I'm unsure how to properly explain it.

Code snippet that reproduces the problem

https://phpstan.org/r/81536c9e-36b3-4ab8-9ab3-072930cf1380

Expected output

No error should be reported.

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

PHPStan is a true lifesaver in all my projects! Thank you all for your continious hard work!

Activity

  1. changed the title [-]Seemingly same type reports as invalid.[/-] [+]Seemingly same type reports as invalid/incompatible.[/+] on Sep 2, 2025
  2. added this to the Easy fixes milestone on Sep 12, 2025
  3. phpstan-bot commented on Mar 1, 2026

    @phpstan-bot
    Contributor

    Closed via merging phpstan/phpstan-src#5094

  4. github-actions commented on Apr 2, 2026

    @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.

  5. locked as resolved and limited conversation to collaborators on Apr 2, 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

    Type

    No type

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions