All pull requests

Pull requests

• Native types of class constants and tentative return types, walk dead catches and closure attributes

  #6859·ondrejmirtes opened Oct 26, 2026Member·

  ·

• Keep accepts() reasons and messages of big types readable on bleeding edge

  #6850·ondrejmirtes opened Oct 26, 2026Member·

  ·

• Update symfony packages to v5.4.54

  #6842·renovate[bot] opened Oct 26, 2026Bot·1 task·

  ·

• Reuse the errors of rules on CollectedDataNode from the result cache

  #6840·SanderMuller opened Oct 25, 2026Contributor·

  ·
  3

• Infer literal types for word date format characters

  #6838·westonruter opened Oct 25, 2026·

  ·
  1

• Require the union with the other branch's type to equal the consequent before rescuing a one-sided conditional holder

  #6835·phpstan-bot opened Oct 25, 2026Collaborator·

  ·
  1

• Re-process a stored scope-changing expression at a foreign ask position instead of re-anchoring it

  #6832·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Track ExpressionTypeResolverExtension declines per type flavour in ExpressionResult

  #6831·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Fall back to the full branch type for a conditional guard when the partial set difference still overlaps the other branch

  #6830·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Do not generalize a union of constant arrays that is no bigger than its largest member in TypeCombinator::optimizeConstantArrays()

  #6829·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Re-price conditional holder expressions whose stored result was walked on a branch narrowing that expression

  #6828·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Carry template argument constraints of if/elseif/else branches ruled out by the condition onto the if result scope

  #6827·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Ignore @no-named-arguments in the native type of variadic parameters

  #6824·GromNaN opened Oct 24, 2026·

  ·
  1

• Do not treat method templates resolved to their bound as unresolved

  #6823·GromNaN opened Oct 24, 2026·

  ·
  1

• Pick the ternary's final scope from the native condition type when treatPhpDocTypesAsCertain is off

  #6822·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Keep union members of different template types apart in TypeCombinator and infer naked template types from what other union members leave unexplained

  #6821·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Converge loops nested in a top-level loop's convergence passes instead of walking them once

  #6820·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Use the enclosing body's send-decided template argument resolutions inside nested closure bodies

  #6819·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Do not infer by-ref use effects at invocations for a closure assigned to its own by-ref variable

  #6818·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Collect template argument constraints through object shape properties in TemplateArgumentObserver

  #6817·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Consult ExpressionTypeResolverExtensions in MutatingScope::resolveScopeStateType()

  #6816·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Resolve an inferred template argument to its bound when a lower bound refers back to a site still being resolved

  #6815·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Generalize a template argument resolution when writes widen the object beyond its initial type

  #6814·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Require every receiver union member to have the property when resolving native type of PropertyFetch and StaticPropertyFetch

  #6813·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1

• Keep the template-argument constraints of a static variable's default and resolve the markers in inferred static variable types

  #6812·phpstan-bot opened Oct 24, 2026Collaborator·

  ·
  1