All pull requests

Pull requests

• Support PHP 8.6 partial function application

  #12998·alies-dev opened Nov 1, 2026Contributor·

  ·
  1

• fix(assertions): a nullsafe call coalesced with a falsy literal narrows its receiver

  #12995·jirkace opened Nov 1, 2026·

  ·
  1

  2

• fix(methods): static return of an inherited method is the class that inherits it

  #12994·jirkace opened Nov 1, 2026·

  ·
  1

  2

• fix(callmap): define() accepts any value since PHP 8.1

  #12992·jirkace opened Nov 1, 2026·

  ·
  1

  2

• fix(array_filter): narrow the result of a call with a string callable

  #12991·jirkace opened Nov 1, 2026·

  ·
  1

  2

• fix(coalesce): variables assigned in the call on the left of ?? are set on the right

  #12990·jirkace opened Nov 1, 2026·

  ·
  1

  2

• fix(callable): a callable array naming a method declared by @method is callable

  #12986·jirkace opened Nov 1, 2026·

  ·
  1

  2

• fix(templates): an input equal to an atomic of the union does not bound the template

  #12985·jirkace opened Nov 1, 2026·

  ·
  1

  2

• fix(traits): an alias of a method taken from a named trait resolves to that trait

  #12974·jirkace opened Nov 1, 2026·

  ·
  1

  2

• fix(array): allow writing an element of the array a by-reference function returns

  #12973·jirkace opened Nov 1, 2026·

  ·
  1

  2

• fix(switch): narrow the subject after a switch without default whose cases all return

  #12972·jirkace opened Nov 1, 2026·

  ·
  1

  2

• Report by-reference parameters given the left-hand side of a pipe

  #12971·alies-dev opened Nov 1, 2026Contributor·

  ·

• Fix: map @property template types through @use and @extends

  #12982·alies-dev opened Nov 1, 2026Contributor·

  ·
  1

  1

• fix(call): a method of an intersected type is not routed through __call of another

  #12970·jirkace opened Nov 1, 2026·

  ·
  1

  4

• Narrow the piped variable through the call a pipe makes

  #12981·alies-dev opened Nov 1, 2026Contributor·

  ·

• Fix: crash on a property assertion about a non-variable argument

  #12980·alies-dev opened Nov 1, 2026Contributor·

  ·
  1

• fix(types): an inherited docblock identical to the native return type keeps static of the called class

  #12968·jirkace opened Nov 1, 2026·

  ·
  1

  2

• Fix: template inferred as its bound when an unbound argument comes first

  release:fix
  #12979·alies-dev opened Nov 1, 2026Contributor·

  ·
  1

  1

• fix(call): keep the intersection of the bound of a template when calling a method

  #12978·jirkace opened Nov 1, 2026·

  ·
  1

  2

• fix(types): a class with pseudo properties satisfies an object shape

  #12977·jirkace opened Nov 1, 2026·

  ·
  1

  2

• fix(templates): a template replaced by an intersection keeps the intersection

  #12976·jirkace opened Nov 1, 2026·

  ·
  1

  2

• Support the PHP 8.5 pipe operator

  #12964·alies-dev opened Nov 1, 2026Contributor·

  ·
  1

  1

• fix(loop): a variable unset in a loop body is possibly undefined in the next iteration

  #12960·jirkace opened Nov 1, 2026·

  ·
  1

  2

• fix(types): a narrower native return type wins over an inherited docblock with a __toString coercion

  #12959·jirkace opened Nov 1, 2026·

  ·
  1

  3

• Fix: quadratic taint resolution past a helper whose calls aren't specialized

  #12958·alies-dev opened Nov 1, 2026Contributor·

  ·
  1

  1