All pull requests

Pull requests

• Report unset() of an offset on a type that only maybe has offsets

  #6724·SanderMuller opened Oct 9, 2026Contributor·

  ·

• Print the rules on CollectedDataNode in --debug output

  #6723·SanderMuller opened Oct 9, 2026Contributor·

  ·

• Keep the array part of a union after unset() of an offset

  #6722·SanderMuller opened Oct 9, 2026Contributor·

  ·

• Handle nested recursive closure captures in signature inference

  #6721·drewmt opened Oct 9, 2026Contributor·

  ·
  1

• Let another program that loads the phar use PHPStan Turbo

  #6720·SanderMuller opened Oct 9, 2026Contributor·

  ·

• Remove a sealed type from itself in a union removal

  #6718·janedbal opened Oct 9, 2026Contributor·

  ·
  1

  1

• Keep the list flag when a list shape is intersected with an array type

  #6717·janedbal opened Oct 9, 2026Contributor·

  ·
  1

  1

• Keep narrowed types after an unrolled foreach whose iterations all terminate

  #6716·janedbal opened Oct 9, 2026Contributor·

  ·
  1

  1

• Infer template arguments from callable return types

  #6715·simPod opened Oct 9, 2026Contributor·

  ·
  1

• Report inheritance cycles with a rule instead of a reflection error

  #6712·SanderMuller opened Oct 8, 2026Contributor·

  ·

• Keep optional keys of unsealed shapes in falsey isset() narrowing

  #6711·robotomarvin opened Oct 8, 2026Contributor·

  ·
  1

  1

• Do not read scope state in an array argument skeleton after a sibling that may change it

  #6709·ondrejmirtes opened Oct 8, 2026Member·

  ·

• Preserve property narrowing in match expression results

  #6708·drewmt opened Oct 8, 2026Contributor·

  ·
  1

• Reuse a stored narrowing result only when the asking scope matches

  #6702·pindab0ter opened Oct 8, 2026·

  ·

• Avoid a crash on method callables in generic array arguments

  #6701·drewmt opened Oct 8, 2026Contributor·

  ·
  1

  6

• Report a class declared in a method instead of crashing

  #6700·SanderMuller opened Oct 7, 2026Contributor·

  ·
  1

  3

• Resolve template types of method calls on a concrete generic static return type

  #6695·pawell67 opened Oct 7, 2026·

  ·
  1

• Preserve variable flow through declare blocks

  #6693·drewmt opened Oct 7, 2026Contributor·

  ·
  1

  2

  

• Do not escape a leading @ in generated baseline entries (#15337)

  #6691·aivchen opened Oct 6, 2026Contributor·

  ·

• Let a callable member of a union parameter take an argument it accepts

  #6690·SanderMuller opened Oct 6, 2026Contributor·

  ·
  1

• Ask ExpressionTypeResolverExtensions for the scope state type of an untracked expression

  #6689·dg opened Oct 6, 2026Contributor·

  ·

• Ask ExpressionTypeResolverExtensions for the scope state type of an untracked expression

  #6688·dg opened Oct 6, 2026Contributor·

  ·
  1

• Check the #[\Override] attribute on class constants and enum cases

  #6685·Amoifr opened Oct 5, 2026Contributor·

  ·
  1

  5

• Add a dynamic return type extension for clamp()

  #6684·Amoifr opened Oct 5, 2026Contributor·

  ·
  1

• Allow __debugInfo() in enums on PHP 8.6+

  #6682·Amoifr opened Oct 5, 2026Contributor·

  ·
  1

  2