Issues

Issues

• @pure / @phpstan-pure override an explicit @psalm-capabilities or @psalm-mutation-free on the same method

  vimeo/psalm#13607 · opened on Nov 12, 2026

• InvalidArgument and leaked template when an untyped override inherits a templated param docblock

  vimeo/psalm#13605 · opened on Nov 12, 2026
  1

• Plugin RemoveTaints answer for a method call result is lost when the call is a sub-expression

  vimeo/psalm#13604 · opened on Nov 12, 2026

• Exponential analysis time for negated in_array() over a literal-list constant inside ||

  vimeo/psalm#13603 · opened on Nov 12, 2026
  1

• --generate-stubs writes wrong signatures for intersections, true/never/static/parent, enums and readonly

  vimeo/psalm#13596 · opened on Nov 11, 2026
  1

• TypeDoesNotContainType false positive for function_exists() on non-empty-lowercase-string

  vimeo/psalm#13549 · opened on Nov 11, 2026
  1

• Unknown constants in int-mask are not reported in some docblock positions

  vimeo/psalm#13544 · opened on Nov 11, 2026
  1

• Crash on int-mask with a deprecated built-in constant

  vimeo/psalm#13543 · opened on Nov 11, 2026
  2

• False InvalidConstantAssignmentValue for a class constant typed as int-mask

  vimeo/psalm#13542 · opened on Nov 11, 2026
  1

• int-mask ignores use const imports of namespaced constants

  vimeo/psalm#13541 · opened on Nov 11, 2026
  1

• A stub that re-declares a scanned class drops the method-level templates a method inherits from its interface

  vimeo/psalm#13535 · opened on Nov 11, 2026
  1

• UndefinedMagicMethod on a first-class callable of a __call-handled method when methods are not sealed

  vimeo/psalm#13534 · opened on Nov 11, 2026
  1

• Assignments through a hooked interface property are not type-checked

  vimeo/psalm#13531 · opened on Nov 10, 2026
  1

• InvalidDocblock for int-mask with unqualified global constants inside a namespace

  vimeo/psalm#13527 · opened on Nov 10, 2026
  1

• Closure param hints for union receivers and trait users go through the shared FunctionLikeStorage (order-dependent results)

  vimeo/psalm#13526 · opened on Nov 10, 2026
  1

• Branch pushes commit extension-version drift to callmaps into unrelated PRs

  vimeo/psalm#13523 · opened on Nov 10, 2026

• Union of $this (X&static) and another X keeps &static depending on operand order

  vimeo/psalm#13521 · opened on Nov 10, 2026
  1

• static nested in a callable hint (callable(list<static>)) is resolved with the closure's class instead of the receiver

  vimeo/psalm#13520 · opened on Nov 10, 2026
  1

• False ArgumentTypeCoercion "expects Closure(X), but parent type Closure(X&static)" for a final class forwarding its Closure(static) param

  vimeo/psalm#13519 · opened on Nov 10, 2026
  1

• Untyped closure param of callable(static) on another instance is inferred as Base&static (the caller's late static class)

  vimeo/psalm#13513 · opened on Nov 10, 2026
  1

• InvalidArgument for a closure with a self param in a trait, passed to a Closure(static) param (expects Closure(One), provided Closure(static))

  vimeo/psalm#13512 · opened on Nov 10, 2026
  1

• False ArgumentTypeCoercion "expects CFinal, but parent type CBase&static provided" when a final receiver gets $this as an unconstrained template argument

  vimeo/psalm#13511 · opened on Nov 10, 2026
  1

• Closure parameter inferred from Closure(properties-of<T>) on a concrete Holder<Model> stays unexpanded and triggers InvalidArgument

  vimeo/psalm#13501 · opened on Nov 10, 2026
  1

• Closure returning null accepted for callable(): T when T is a function template

  vimeo/psalm#13500 · opened on Nov 10, 2026
  1

• value-of<A> and key-of<A> with a function template A bounded by an array shape are not resolved through the bound

  vimeo/psalm#13499 · opened on Nov 10, 2026
  1