v1.10.22

Compare Source

Bleeding edge 🔪

• More precise file() flags args (#​2476, #​2482), thanks @​staabm!
• Non-static methods cannot be used as static callables in PHP 8+ (#​2420), thanks @​staabm!
• More precise flock() operation flags (#​2477), thanks @​staabm!
• Rule for call_user_func() (#​2479), thanks @​staabm!

If you want to see the shape of things to come and adopt bleeding edge features early, you can include this config file in your project's phpstan.neon:

includes:
	- vendor/phpstan/phpstan/conf/bleedingEdge.neon

Of course, there are no backwards compatibility guarantees when you include this file. The behaviour and reported errors can change in minor versions with this file included. Learn more

Improvements 🔧

• Add return type extension for constant() (#​2474), thanks @​herndlm!
• Dynamic assert() throw type extension (#​2427), thanks @​patrickkusebauch!
• Update nikic/PHP-Parser (phpstan/phpstan-src@79b3034)
• PHP 8.3: json_validate() stub (phpstan/phpstan-src@828b269), thanks @​staabm!
• Implement call_user_func() DynamicFunctionReturnTypeExtension (#​2479), thanks @​staabm!

Bugfixes 🐛

• Add support for math with constant numeric string (#​2209), #​8803, #​8827, thanks @​VincentLanglet!
• Use case insensitive matching to detect usages of private methods (#​2484), #​8346, thanks @​stof!
• fix array_splice with non-array replacement (#​2457), thanks @​schlndh!
• Resolve key and value type of partially non-iterable types when entering foreach (phpstan/phpstan-src@cb5a2b4), #​9535, #​4907, #​8924, #​5998
• Foreach can append to the array but it does not change the number of iterations (phpstan/phpstan-src@27085c5), #​4612
• MutatingScope - process left side of BooleanAnd and BooleanOr before getting type of the whole expression (phpstan/phpstan-src@989dd6f), #​5365, #​6551, #​7491, #​4004, #​2499
• MutatingScope - process ternary cond before getting type of the whole expression (phpstan/phpstan-src@faba805)
• Fix processing switch with complex case conditions (phpstan/phpstan-src@f6b34f2), #​5326
• Fix ClassConstFetch Identical specification with Yoda conditions (#​2498), #​9542, thanks @​herndlm!

Function signature fixes 🤖

• Update functionMap for ext-mongodb 1.16 (#​2473), thanks @​alcaeus!
• Add false to the db2_num_rows() return type (#​2456), thanks @​morozov!
• More precise ignore_user_abort() return type (#​2489), thanks @​staabm!

Internals 🔍

• Type projections, part 1: call-site variance in GenericObjectType (#​2471), thanks @​jiripudil!
• Test PHP 8.3 (#​2486)
• Cleanup NodeScopeResolver (#​2499), thanks @​staabm!

v1.10.21

Compare Source

Bugfixes 🐛

• Fix defining variables in match condition (phpstan/phpstan-src@d6c2752), #​9474
• Fix UnusedClosureUsesRule for already traversed match (phpstan/phpstan-src@a719486), https://github.com/phpstan/phpstan-phpunit/issues/190, #​9478
• Update BetterReflection (phpstan/phpstan-src@a540e44), #​9477
  • Fix newInstance on ReflectionAttribute adapter with enum argument (ondrejmirtes/BetterReflection@277b960)

Internals 🔍

• Cheap checks first in ObjectType (#​2475), thanks @​mad-briller!

v1.10.20

Compare Source

Improvements 🔧

• PHPStan Pro: Change Cloudflare DNS for to family version (#​2467), thanks @​spaze!
• Add non-zero-int type (#​2449), thanks @​PrinsFrank!
• Implement gettype() return type extension (#​2437), thanks @​staabm!

Bugfixes 🐛

• Allow to remember constant and impure expressions in match condition (phpstan/phpstan-src@0cdda0b), #​4451, #​6064, #​9457
• Fix gettype in match condition (phpstan/phpstan-src@e4ef00c, phpstan/phpstan-src@caa0a5b), #​8614
• Fix get_class in match condition (phpstan/phpstan-src@106526d), #​1885, #​8536, #​8092
• Understand get_class compared with static::class (phpstan/phpstan-src@590eb03), #​1885
• Understand gettype when there's a union of strings on the other side (phpstan/phpstan-src@36e412f), #​6294, #​2580
• Treat ConstantArrayType as covariant in its keys and values (#​2464), #​9161, thanks @​jiripudil!
• Treat ArrayType as covariant in its keys and values (#​2465), thanks @​jiripudil!
• Make NonEmptyArrayType::toArray() return $this (#​2349), #​9208, thanks @​zonuexe!
• Retain list type via array_push() and array_unshift() (#​2451), #​8449, thanks @​herndlm!
• For @var above throw and return, change the type of expr only for the stmt callback (phpstan/phpstan-src@b551095), #​9459

Internals 🔍

• Remove redundant conditions from RemoveUnusedCodeByPhpVersionIdVisitor. (#​2459), thanks @​mad-briller!
• Return early in CachingVistor to avoid always-false instanceof checks. (#​2460), thanks @​mad-briller!
• Introduce CombinationsHelper (phpstan/phpstan-src@175307e)
• Type::getFiniteTypes() (phpstan/phpstan-src@7912caf, phpstan/phpstan-src@fa9a951, phpstan/phpstan-src@b5cf52b)

v10.2.3

Compare Source

v5.13.1

Compare Source

What's Changed

Fixes

• Fix glob CallMap and stub to prevent crash on alpine by @​ygottschalk in https://github.com/vimeo/psalm/pull/9942

Docs

• Fix the link reference in the doc by @​stof in https://github.com/vimeo/psalm/pull/9967

Full Changelog: vimeo/psalm@5.13.0...5.13.1

v5.13.0

Compare Source

What's Changed

Features

• Add a support for multilevel glob wildcards by @​2e3s in https://github.com/vimeo/psalm/pull/9813
• Mapping closed inheritance to union during assertion by @​klimick in https://github.com/vimeo/psalm/pull/9829
• Use PHPStorm output format by default on JetBrains terminals by @​lptn in https://github.com/vimeo/psalm/pull/9848
• sprintf basic non-empty-string return type provider by @​kkmuffme in https://github.com/vimeo/psalm/pull/9841
• Extend Shepherd payload by information about package versions by @​lptn in https://github.com/vimeo/psalm/pull/9856
• Allow if/false assert for same variable to allow array/list distinction by @​kkmuffme in https://github.com/vimeo/psalm/pull/9853
• readonly does not have write access, therefore is safe as long as the… by @​kkmuffme in https://github.com/vimeo/psalm/pull/9887
• Sprintf improve return param type validation by @​kkmuffme in https://github.com/vimeo/psalm/pull/9877
• feat: cache.gz by @​dkarlovi in https://github.com/vimeo/psalm/pull/9889
• make compressor configurable v2 by @​kkmuffme in https://github.com/vimeo/psalm/pull/9924
• Invalidate cached methods when referenced files are deleted by @​tscni in https://github.com/vimeo/psalm/pull/9931
• Invalidate cached methods when referenced class property types change by @​tscni in https://github.com/vimeo/psalm/pull/9955

Fixes

• glob: allow empty string for pattern by @​Hanmac in https://github.com/vimeo/psalm/pull/9814
• GH-9825 by @​jack-worman in https://github.com/vimeo/psalm/pull/9828
• Fix #​9824 const enum self reference by @​ygottschalk in https://github.com/vimeo/psalm/pull/9833
• base64_decode returns false only in strict mode by @​kamil-tekiela in https://github.com/vimeo/psalm/pull/9832
• Dirname return type non empty string by @​kkmuffme in https://github.com/vimeo/psalm/pull/9837
• uniqid return type non-empty-string inconsistent by @​kkmuffme in https://github.com/vimeo/psalm/pull/9842
• PropertyNotSetInConstructor should not report for abstract constructors by @​kkmuffme in https://github.com/vimeo/psalm/pull/9844
• Intersect template types during inheritance check by @​klimick in https://github.com/vimeo/psalm/pull/9865
• Fix generic type params mapping by @​klimick in https://github.com/vimeo/psalm/pull/9866
• Better intersection of template types during inheritance check by @​klimick in https://github.com/vimeo/psalm/pull/9883
• Update the signature of debug_backtrace by @​stof in https://github.com/vimeo/psalm/pull/9868
• Glob return type stub by @​ygottschalk in https://github.com/vimeo/psalm/pull/9878
• Improve the return types for getimagesize and getimagesizefromstring by @​robchett in https://github.com/vimeo/psalm/pull/9875
• Unmark DateInterval::$invert as read-only by @​morozov in https://github.com/vimeo/psalm/pull/9895
• Sprintf additional validations and bugfix by @​kkmuffme in https://github.com/vimeo/psalm/pull/9904
• Fixes #​9827 by @​ygottschalk in https://github.com/vimeo/psalm/pull/9903
• set type of LINE to positive int by @​robchett in https://github.com/vimeo/psalm/pull/9921
• Add a stub file for Attributes defined by PHP by @​robchett in https://github.com/vimeo/psalm/pull/9920
• Don't update types of the outer scope when in an elseif conditional by @​robchett in https://github.com/vimeo/psalm/pull/9922
• Update callmap for ext-mongodb 1.16 by @​alcaeus in https://github.com/vimeo/psalm/pull/9933
• Add call map entries for MongoDB functions by @​alcaeus in https://github.com/vimeo/psalm/pull/9934
• fix reconciliation between a list and iterable by @​orklah in https://github.com/vimeo/psalm/pull/9950
• non-empty-list assertion for iterable by @​boesing in https://github.com/vimeo/psalm/pull/9953
• fix PHP 7 sprintf too many arguments false positive by @​kkmuffme in https://github.com/vimeo/psalm/pull/9943

Docs

• Document classAndDescendants configuration tag by @​janopae in https://github.com/vimeo/psalm/pull/9867

Internal changes

• Introduce and use IssueData constants for severity levels by @​lptn in https://github.com/vimeo/psalm/pull/9846
• Shepherd: send a list of issues (instead of array with int keys) by @​lptn in https://github.com/vimeo/psalm/pull/9845
• fix failing mock tests by @​kkmuffme in https://github.com/vimeo/psalm/pull/9880
• Bump mheap/github-action-required-labels from 4 to 5 by @​dependabot in https://github.com/vimeo/psalm/pull/9898
• fix CI warnings for findUnusedCode in psalm 6 by @​kkmuffme in https://github.com/vimeo/psalm/pull/9915
• docblock parser minor performance gain by @​kkmuffme in https://github.com/vimeo/psalm/pull/9916
• improve perfs for switch by not creating reverse assertions against constants by @​orklah in https://github.com/vimeo/psalm/pull/9929
• remove StementsVolatileCache for perf reasons by @​orklah in https://github.com/vimeo/psalm/pull/9930
• put config to true to prevent deprecations for new config files by @​orklah in https://github.com/vimeo/psalm/pull/9857
• Make config warn about missing cache related functions by @​ygottschalk in https://github.com/vimeo/psalm/pull/9935
• Fix/cache fail silent by @​ygottschalk in https://github.com/vimeo/psalm/pull/9932

Typos

• Fixed typo in ConstantTest by @​staabm in https://github.com/vimeo/psalm/pull/9835

New Contributors

• @​Hanmac made their first contribution in https://github.com/vimeo/psalm/pull/9814
• @​stof made their first contribution in https://github.com/vimeo/psalm/pull/9868

Full Changelog: vimeo/psalm@5.12.0...5.13.0