psalm

What's Changed

Features

• fix(parser): allow a trailing comma in array and list shapes by @jirkace in https://github.com/vimeo/psalm/pull/13228

Fixes

• :sparkles: [#11509] Fix regression about iterables, list and conditional types by @andrew-demb in https://github.com/vimeo/psalm/pull/11558
• test(psalter): pin a constructor inherited from another file with MissingThrowsDocblock by @jirkace in https://github.com/vimeo/psalm/pull/13346
• feat(stubs): substr of a non-empty-string from its start is non-empty by @jirkace in https://github.com/vimeo/psalm/pull/12921
• fix(properties): the self of a trait property signature is the using class by @jirkace in https://github.com/vimeo/psalm/pull/12919
• fix(isset): a variable not set by the isset branch stays possibly undefined after the if by @jirkace in https://github.com/vimeo/psalm/pull/13046
• fix(unused): a call on the left of ?? is used by the coalesce by @jirkace in https://github.com/vimeo/psalm/pull/13231
• fix(call): give the callback of usort() and its siblings the element type of the array by @jirkace in https://github.com/vimeo/psalm/pull/13347
• fix(call): keep the narrowed type of an unchanged argument in strict_types by @jirkace in https://github.com/vimeo/psalm/pull/13341
• fix(parser): accept a name after the = or ... of a callable param by @jirkace in https://github.com/vimeo/psalm/pull/13226
• fix(types): a literal string id does not use the C escapes \a and \b by @jirkace in https://github.com/vimeo/psalm/pull/13209
• fix(loop): report break/continue levels exceeding the enclosing structures by @jirkace in https://github.com/vimeo/psalm/pull/13210
• fix(foreach): drop the invalid-iteration null of an Iterator's current() and key() by @jirkace in https://github.com/vimeo/psalm/pull/13218
• fix(interface): report an undefined interface in an interface's extends list by @jirkace in https://github.com/vimeo/psalm/pull/13212
• fix(inheritance): compare constructors that override an abstract constructor by @jirkace in https://github.com/vimeo/psalm/pull/13211
• fix(docblock): report the class issues of a @var type at the docblock by @jirkace in https://github.com/vimeo/psalm/pull/13182
• fix(return): report a void|never docblock return type that can only return implicitly by @jirkace in https://github.com/vimeo/psalm/pull/13169
• fix(strings): keep the literals of a union in an interpolated string by @jirkace in https://github.com/vimeo/psalm/pull/13130
• fix(try): a catch whose every path leaves does not make the variables of the try possibly undefined by @jirkace in https://github.com/vimeo/psalm/pull/13183
• fix(unused): report the unused result of a pure static method call by @jirkace in https://github.com/vimeo/psalm/pull/13197
• fix(properties): a redeclared protected property is accessible from the classes of its first declaration by @jirkace in https://github.com/vimeo/psalm/pull/13203
• fix(docblock): a tag of a single-line docblock has no trailing blank by @jirkace in https://github.com/vimeo/psalm/pull/13193
• Handle missing parents when checking inherited constants by @orklah in https://github.com/vimeo/psalm/pull/13414
• fix(params): honour @psalm-suppress InvalidParamDefault by @jirkace in https://github.com/vimeo/psalm/pull/13172
• fix(callable): resolve [object, 'method'] callables to inherited and trait methods by @jirkace in https://github.com/vimeo/psalm/pull/13214
• fix(docblock): allow a trailing comma in a generic type by @jirkace in https://github.com/vimeo/psalm/pull/13208
• fix(stubs): FFI::memcmp prefers references but also accepts values by @jirkace in https://github.com/vimeo/psalm/pull/13173
• [6.x] Fix crash when a closure unsets a by-reference captured variable (backport) by @alies-dev in https://github.com/vimeo/psalm/pull/12058
• [6.x] Fix type variables bounded by another type variable (backport) by @alies-

What's Changed

Fixes

• :sparkles: [#11509] Fix regression about iterables, list and conditional types by @andrew-demb in https://github.com/vimeo/psalm/pull/11558

Internal changes

• Fix 6.x CI: retry transient stub build failures, update array_first test by @danog in https://github.com/vimeo/psalm/pull/13407

Full Changelog: https://github.com/vimeo/psalm/compare/6.20.9...6.20.10

What's Changed

Fixes

• feat(taint): json_encode() without JSON_PRETTY_PRINT removes the header taint by @jirkace in https://github.com/vimeo/psalm/pull/12799
• Feature/callmap signature return types by @orklah in https://github.com/vimeo/psalm/pull/13167
• Exclude extension polyfills from PHP-versioned callmaps by @orklah in https://github.com/vimeo/psalm/pull/13345
• fix(methods): static return of an inherited method is the class that inherits it by @jirkace in https://github.com/vimeo/psalm/pull/12994
• fix(callmap): PDO::sqliteCreateFunction() takes flags since PHP 7.1.4 by @jirkace in https://github.com/vimeo/psalm/pull/12865
• fix(callmap): define() accepts any value since PHP 8.1 by @jirkace in https://github.com/vimeo/psalm/pull/12992

Internal changes

• Add zstd cache compression with a dictionary for the consolidated cache by @alies-dev in https://github.com/vimeo/psalm/pull/13309

Full Changelog: https://github.com/vimeo/psalm/compare/7.0.4...7.0.5

What's Changed

Fixes

• fix(baseline): merge duplicated files and issue types when reading a baseline by @jirkace in https://github.com/vimeo/psalm/pull/13098
• fix(visibility): drop the empty context from the inaccessible method message by @jirkace in https://github.com/vimeo/psalm/pull/13094
• fix(psalter): replace the whole union return type by @jirkace in https://github.com/vimeo/psalm/pull/13116
• fix(arithmetic): don't fold a shift by a negative number or zero to a negative power by @jirkace in https://github.com/vimeo/psalm/pull/13103
• fix(int-range): an int range without bounds is int by @jirkace in https://github.com/vimeo/psalm/pull/13091
• fix(types): a negated instanceof narrows the bound of a template param by @jirkace in https://github.com/vimeo/psalm/pull/12906
• fix(types): keep named objects and other shapes next to an object with properties by @jirkace in https://github.com/vimeo/psalm/pull/13101
• Perf: skip recording code use edges that nothing reads (2–32% less memory when unused code detection is off) by @alies-dev in https://github.com/vimeo/psalm/pull/13250
• Evaluate the keys of array items passed by reference once by @alies-dev in https://github.com/vimeo/psalm/pull/13297
• Fix: constants defined in Psalm's process turn into mixed on warm runs by @alies-dev in https://github.com/vimeo/psalm/pull/13302
• fix(int-range): a negative int to the power of 0 is 1 by @jirkace in https://github.com/vimeo/psalm/pull/13186
• fix(stubs): SplDoublyLinkedList::offsetSet accepts null to append by @jirkace in https://github.com/vimeo/psalm/pull/13207
• fix(parser): as, of and is are keys of a shape where a colon follows by @jirkace in https://github.com/vimeo/psalm/pull/13075
• fix(types): $_COOKIE can have int keys by @jirkace in https://github.com/vimeo/psalm/pull/12868
• fix(config): count referencedFunction issue handler suppressions by @jirkace in https://github.com/vimeo/psalm/pull/12854
• fix(scanner): an and/or condition of unknown parts defines both branches by @jirkace in https://github.com/vimeo/psalm/pull/12814
• Keep the type of the elements array_splice() returns by @jirkace in https://github.com/vimeo/psalm/pull/12615
• fix(param-out): do not check the @param-out of a method without a body by @jirkace in https://github.com/vimeo/psalm/pull/12681
• Ask whether the package of an unknown plugin class is installed by @danog in https://github.com/vimeo/psalm/pull/13326

Internal changes

• Perf: speed up warm runs and the consolidated cache with one file per cache entry by @alies-dev in https://github.com/vimeo/psalm/pull/13249

Full Changelog: https://github.com/vimeo/psalm/compare/7.0.3...7.0.4