All pull requests

Pull requests

• 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

• Track ClosureTypeResolver's body-walk depth guard per closure node instead of globally

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

  ·
  1

• Treat a template type of mixed operand like mixed in arithmetic so the result stays a benevolent (float|int)

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

  ·
  1

• Skip UnusedMethodParametersRule for private methods referenced as callables within their class

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

  ·
  1

  2

• Propagate variable flow and end statements through declare() {} blocks in DeclareHandler

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

  ·
  1

• Detect enum cases through ReflectionClassConstant::isEnumCase() before reading a class constant's value expression

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

  ·
  1

• Return never from sealed ObjectType::tryRemove() when a removed union member is a supertype, and from TemplateType::tryRemove() when the bound is emptied

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

  ·
  1

• Accept int timeout and null for $options parameter of Redis::set() in function map

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

  ·
  1

• A list and a possibly-empty non-list array share the empty array

  #6800·HawkForge opened Oct 24, 2026Contributor·

  ·
  1

• Resolve generic static<...> property types against the fetched-on class

  #6799·HawkForge opened Oct 24, 2026Contributor·

  ·
  1

  1