All pull requests

Pull requests

• 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

• Decide a loop pass's dead back edge with a walk converging nested loops when the body is not replayable

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

  ·
  1

• Keep the terminated iterations' scope after an unrolled constant-array foreach when no iteration leaves the loop

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

  ·
  1

• Let a callable union member take the callable argument it accepts before it can flow into a naked template argument marker

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

  ·
  1

• Read the native base type from native state when narrowing an expression that only has a PHPDoc holder in MutatingScope::applySpecifiedTypes()

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

  ·
  1