Issues

static left in a template argument expands to the receiver on each call, growing the type exponentially (OOM)

vimeo/psalm#13387 · opened

on Nov 7, 2026

1

Whitespace around | in @method and @return types drops null or invalidates the tag

vimeo/psalm#13336 · opened

on Nov 6, 2026

1

UndefinedPropertyFetch for a @property of an interface's @mixin class

vimeo/psalm#13334 · opened

on Nov 6, 2026

1

Conditional return type selects its first branch for an unresolved inline argument

vimeo/psalm#13333 · opened

on Nov 6, 2026

1

CI: report test cases added by a PR that already pass on the base branch

vimeo/psalm#13298 · opened

on Nov 5, 2026

1

phar of psalm7 loads code from local vendor and crashes

vimeo/psalm#13244 · opened

on Nov 4, 2026

3

Taint: a string sent into an `instanceof` branch taints `$this` of every `@psalm-immutable` override, and the result reaches every virtual call

vimeo/psalm#13242 · opened

on Nov 4, 2026

1

Perf: an inherited constructor is analysed twice per subclass for `PropertyNotSetInConstructor`

vimeo/psalm#13239 · opened

on Nov 4, 2026

1

psalm --init picks errorLevel 1 when the project path contains "vendor" or "stub"

vimeo/psalm#13238 · opened

on Nov 4, 2026

Method call on object{...}&Class intersection is MixedMethodCall when the shape comes first

vimeo/psalm#13236 · opened

on Nov 4, 2026

1

Taint analysis exits 0 on errors when any --report is written in GitHub Actions

vimeo/psalm#13206 · opened

on Nov 3, 2026

Negated array assertion widens the array type

vimeo/psalm#13166 · opened

on Nov 3, 2026

1

Own `@psalm-taint-sink` of an override is lost when the parent method has templates

vimeo/psalm#13165 · opened

on Nov 3, 2026

1

Docblock types are not inherited through a partially documented intermediate class

vimeo/psalm#13164 · opened

on Nov 3, 2026

2

Parent @param types are not inherited when an override documents only some params

vimeo/psalm#13161 · opened

on Nov 3, 2026

Keep contributor skills out of installers that read the repository

vimeo/psalm#13157 · opened

on Nov 3, 2026

1

Number of errors found varies on --scan-threads

vimeo/psalm#13151 · opened

on Nov 3, 2026

2

Crash "Could not get class storage" when a nullable return signature has a docblock type alias imported from a class that is not scanned yet

vimeo/psalm#13150 · opened

on Nov 3, 2026

3

psr/log stub: LoggerInterface::log() contract cannot be met by a logger that casts a Stringable message

vimeo/psalm#13149 · opened

on Nov 3, 2026

1

`class-string<Box<T>>` as an @extends argument keeps the child template when read through a concrete instance

vimeo/psalm#13146 · opened

on Nov 3, 2026

1

Nested `new Box(new Box(...))` passed to a `Box<Box<DateTime>>` parameter is not checked and keeps leaked type variables

vimeo/psalm#13145 · opened

on Nov 3, 2026

1

Closure-typed generic property is read as unlocalized `Closure(T:Box as object)` after a call taking `Closure(T)` on the same object

vimeo/psalm#13144 · opened

on Nov 3, 2026

1

Inherited property typed `T` leaks the child template when @extends passes `list<U>`

vimeo/psalm#13143 · opened

on Nov 3, 2026

1

`@return static` called through an instance static call drops the receiver type arguments

vimeo/psalm#13142 · opened

on Nov 3, 2026

1

instanceof narrowing of a concrete generic parent to a child fixing one parent argument reports DocblockTypeContradiction and loses the type arguments

vimeo/psalm#13141 · opened

on Nov 3, 2026

1

Navigation Menu

Repository navigation

Issues

static left in a template argument expands to the receiver on each call, growing the type exponentially (OOM)

Whitespace around | in @method and @return types drops null or invalidates the tag

UndefinedPropertyFetch for a @property of an interface's @mixin class

Conditional return type selects its first branch for an unresolved inline argument

CI: report test cases added by a PR that already pass on the base branch

phar of psalm7 loads code from local vendor and crashes

Taint: a string sent into an `instanceof` branch taints `$this` of every `@psalm-immutable` override, and the result reaches every virtual call

Perf: an inherited constructor is analysed twice per subclass for `PropertyNotSetInConstructor`

psalm --init picks errorLevel 1 when the project path contains "vendor" or "stub"

Method call on object{...}&Class intersection is MixedMethodCall when the shape comes first

Taint analysis exits 0 on errors when any --report is written in GitHub Actions

Negated array assertion widens the array type

Own `@psalm-taint-sink` of an override is lost when the parent method has templates

Docblock types are not inherited through a partially documented intermediate class

Parent @param types are not inherited when an override documents only some params

Keep contributor skills out of installers that read the repository

Number of errors found varies on --scan-threads

Crash "Could not get class storage" when a nullable return signature has a docblock type alias imported from a class that is not scanned yet

psr/log stub: LoggerInterface::log() contract cannot be met by a logger that casts a Stringable message

`class-string<Box<T>>` as an @extends argument keeps the child template when read through a concrete instance

Nested `new Box(new Box(...))` passed to a `Box<Box<DateTime>>` parameter is not checked and keeps leaked type variables

Closure-typed generic property is read as unlocalized `Closure(T:Box as object)` after a call taking `Closure(T)` on the same object

Inherited property typed `T` leaks the child template when @extends passes `list<U>`

`@return static` called through an instance static call drops the receiver type arguments

instanceof narrowing of a concrete generic parent to a child fixing one parent argument reports DocblockTypeContradiction and loses the type arguments