-
Notifications
You must be signed in to change notification settings - Fork 660
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Inherited assertions v2 #10189
Inherited assertions v2 #10189
Conversation
} | ||
|
||
return $assertions; | ||
} | ||
|
||
/** |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
By removing
psalm/src/Psalm/Internal/Analyzer/Statements/Expression/Call/ClassTemplateParamCollector.php
Lines 51 to 53 in f782767
&& isset($class_storage->methods[$method_name]) | |
&& (!isset($non_trait_class_storage->methods[$method_name]->return_type) | |
|| $class_storage->methods[$method_name]->inherited_return_type) |
This comment was marked as outdated.
This comment was marked as outdated.
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
No clue why there are conditions on when templates are allowed to get picked up. I've removed this check which actually solves a problem in inherited assertions. Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
2d44d05
to
56b719b
Compare
@@ -61,80 +57,9 @@ public function resolve( | |||
* Since the inheritance does not provide its own assertions, we have to detect those |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Seems like this comment should change too?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
well Actually we still have to detect those, but in this case we just merge.
any suggestions? I have no clue how to modify this for being more accurate 🫤
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
nope! I was just making sure there was not an outdated comment left behind :)
Thanks! |
[![Mend Renovate logo banner](https://app.renovatebot.com/images/banner.svg)](https://renovatebot.com) This PR contains the following updates: | Package | Change | Age | Adoption | Passing | Confidence | |---|---|---|---|---|---| | [vimeo/psalm](https://github.com/vimeo/psalm) | `~5.15.0` -> `~5.16.0` | [![age](https://developer.mend.io/api/mc/badges/age/packagist/vimeo%2fpsalm/5.16.0?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![adoption](https://developer.mend.io/api/mc/badges/adoption/packagist/vimeo%2fpsalm/5.16.0?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![passing](https://developer.mend.io/api/mc/badges/compatibility/packagist/vimeo%2fpsalm/5.15.0/5.16.0?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![confidence](https://developer.mend.io/api/mc/badges/confidence/packagist/vimeo%2fpsalm/5.15.0/5.16.0?slim=true)](https://docs.renovatebot.com/merge-confidence/) | --- ### Release Notes <details> <summary>vimeo/psalm (vimeo/psalm)</summary> ### [`v5.16.0`](https://github.com/vimeo/psalm/releases/tag/5.16.0) [Compare Source](https://github.com/vimeo/psalm/compare/5.15.0...5.16.0) <!-- Release notes generated using configuration in .github/release.yml at 5.x --> #### What's Changed ##### Features - Show success message and type stats with GHA formatter by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10145](https://github.com/vimeo/psalm/pull/10145) - New sinks for TaintedCallable [#​10117](https://github.com/vimeo/psalm/issues/10117) by [@​cgocast](https://github.com/cgocast) in [https://github.com/vimeo/psalm/pull/10154](https://github.com/vimeo/psalm/pull/10154) - Properly inherit assertions from parents or implemented faces by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10157](https://github.com/vimeo/psalm/pull/10157) - Flag invalid declares by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10176](https://github.com/vimeo/psalm/pull/10176) - Narrow `ArrayObject` `TKey` template by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10190](https://github.com/vimeo/psalm/pull/10190) - Allow object assertions for `mixed` values by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10207](https://github.com/vimeo/psalm/pull/10207) - Issue handlers priority by [@​gmessier](https://github.com/gmessier) in [https://github.com/vimeo/psalm/pull/10202](https://github.com/vimeo/psalm/pull/10202) - Check for declare strict_types in block mode by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10234](https://github.com/vimeo/psalm/pull/10234) - feat(LSP): Improve the autocomplete for nested array shape by [@​ging-dev](https://github.com/ging-dev) in [https://github.com/vimeo/psalm/pull/10230](https://github.com/vimeo/psalm/pull/10230) - Add alias support to psalm-check-type by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10264](https://github.com/vimeo/psalm/pull/10264) - Allow parameter names in callable docblocks with templates by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10261](https://github.com/vimeo/psalm/pull/10261) - Disallow `never` type for parameters by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10266](https://github.com/vimeo/psalm/pull/10266) - Fix auto completion by partial property or method by [@​issidorov](https://github.com/issidorov) in [https://github.com/vimeo/psalm/pull/10320](https://github.com/vimeo/psalm/pull/10320) - Add stubs for rdKafka by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10351](https://github.com/vimeo/psalm/pull/10351) - Suppressing NoValue should not treat subsequent code as unevaluated by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10303](https://github.com/vimeo/psalm/pull/10303) - Fix misc callable bugs by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10370](https://github.com/vimeo/psalm/pull/10370) ##### Fixes - Added more gc_status return fields by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10138](https://github.com/vimeo/psalm/pull/10138) - Filter baseline when checking individual files by [@​edsrzf](https://github.com/edsrzf) in [https://github.com/vimeo/psalm/pull/10115](https://github.com/vimeo/psalm/pull/10115) - Assertion enhancements regarding `value-of` in combination with backed enums by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10150](https://github.com/vimeo/psalm/pull/10150) - `strrchr()`: `$before_needle` parameter by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10151](https://github.com/vimeo/psalm/pull/10151) - Update `mysqli` stub by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10155](https://github.com/vimeo/psalm/pull/10155) - Fix crash on property access to undefined property on a class with a missing dependncy by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10159](https://github.com/vimeo/psalm/pull/10159) - Prevent infinite-loop when resolving type-aliases by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10156](https://github.com/vimeo/psalm/pull/10156) - InheritorViolation was only being triggered on grand-childen classes by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10169](https://github.com/vimeo/psalm/pull/10169) - Restore support for namespaced functions in referencedFunction config by [@​tscni](https://github.com/tscni) in [https://github.com/vimeo/psalm/pull/10186](https://github.com/vimeo/psalm/pull/10186) - `DateTimeZone::getName()` always returns `non-empty-string` by [@​gsteel](https://github.com/gsteel) in [https://github.com/vimeo/psalm/pull/10187](https://github.com/vimeo/psalm/pull/10187) - Only the binary op 'plus' works with two arrays by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10209](https://github.com/vimeo/psalm/pull/10209) - Add openssl_\*\_export_to_file to impure functions by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10210](https://github.com/vimeo/psalm/pull/10210) - add FILTER_SANITIZE_URL filter to filter_var by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10214](https://github.com/vimeo/psalm/pull/10214) - Allow class-string<T> where T is a union by [@​MidnightDesign](https://github.com/MidnightDesign) in [https://github.com/vimeo/psalm/pull/10194](https://github.com/vimeo/psalm/pull/10194) - Loop over PDOStatement::fetch() arguments by [@​cgocast](https://github.com/cgocast) in [https://github.com/vimeo/psalm/pull/10237](https://github.com/vimeo/psalm/pull/10237) - Inherited assertions v2 by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10189](https://github.com/vimeo/psalm/pull/10189) - Resolve inherited conditional return types by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10191](https://github.com/vimeo/psalm/pull/10191) - Allow stringable objects in `sprintf()` values by [@​MidnightDesign](https://github.com/MidnightDesign) in [https://github.com/vimeo/psalm/pull/10231](https://github.com/vimeo/psalm/pull/10231) - fix: [#​10239](https://github.com/vimeo/psalm/issues/10239) by [@​ging-dev](https://github.com/ging-dev) in [https://github.com/vimeo/psalm/pull/10240](https://github.com/vimeo/psalm/pull/10240) - Remove duplicate namespace in InternalMethod error message by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10241](https://github.com/vimeo/psalm/pull/10241) - Add stream_socket_shutdown socket_shutdown to impure function list by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10244](https://github.com/vimeo/psalm/pull/10244) - Emit `MethodSignatureMismatch` when descendant does not return by reference by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10248](https://github.com/vimeo/psalm/pull/10248) - Negated class_exist check on class-string converts to string instead of mixed by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10262](https://github.com/vimeo/psalm/pull/10262) - Fix error message for implicitly returning functions with `never` return type by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10254](https://github.com/vimeo/psalm/pull/10254) - Type check nested templates by [@​klimick](https://github.com/klimick) in [https://github.com/vimeo/psalm/pull/10271](https://github.com/vimeo/psalm/pull/10271) - Fix return of BadSqlTainter::afterExpressionAnalysis() by [@​cgocast](https://github.com/cgocast) in [https://github.com/vimeo/psalm/pull/10270](https://github.com/vimeo/psalm/pull/10270) - Allow tainted numerics except for 'html' and 'has_quotes' by [@​cgocast](https://github.com/cgocast) in [https://github.com/vimeo/psalm/pull/10242](https://github.com/vimeo/psalm/pull/10242) - fix final class constant type by [@​kk-daniel](https://github.com/kk-daniel) in [https://github.com/vimeo/psalm/pull/10279](https://github.com/vimeo/psalm/pull/10279) - Fix inferring enum case value from a class constant by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10274](https://github.com/vimeo/psalm/pull/10274) - fix: [#​10080](https://github.com/vimeo/psalm/issues/10080) by [@​ging-dev](https://github.com/ging-dev) in [https://github.com/vimeo/psalm/pull/10228](https://github.com/vimeo/psalm/pull/10228) - Fix memory explosion with calls to method_exists by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10290](https://github.com/vimeo/psalm/pull/10290) - Additional caching fixes by [@​ging-dev](https://github.com/ging-dev) in [https://github.com/vimeo/psalm/pull/10289](https://github.com/vimeo/psalm/pull/10289) - str_replace / substr_replace signature improvements by [@​mathroc](https://github.com/mathroc) in [https://github.com/vimeo/psalm/pull/10277](https://github.com/vimeo/psalm/pull/10277) - Fix method calls and property accesses after extension_loaded by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10295](https://github.com/vimeo/psalm/pull/10295) - fix [@​param-out](https://github.com/param-out) with named arguments by [@​kk-daniel](https://github.com/kk-daniel) in [https://github.com/vimeo/psalm/pull/10312](https://github.com/vimeo/psalm/pull/10312) - Narrow down `get_browser` returning array or object by [@​simonberger](https://github.com/simonberger) in [https://github.com/vimeo/psalm/pull/10314](https://github.com/vimeo/psalm/pull/10314) - Allow int keys when calling Redis methods by [@​greg0ire](https://github.com/greg0ire) in [https://github.com/vimeo/psalm/pull/10355](https://github.com/vimeo/psalm/pull/10355) - Finding methods and properties for auto completion feature by [@​issidorov](https://github.com/issidorov) in [https://github.com/vimeo/psalm/pull/10385](https://github.com/vimeo/psalm/pull/10385) - update decimal stubs from documented URL by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10379](https://github.com/vimeo/psalm/pull/10379) - Fix Phar build failure by [@​tscni](https://github.com/tscni) in [https://github.com/vimeo/psalm/pull/10391](https://github.com/vimeo/psalm/pull/10391) - Fix redundant condition mixed type escape hatch & loose comparison int type shouldnt be mixed by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10388](https://github.com/vimeo/psalm/pull/10388) - Fix [#​10398](https://github.com/vimeo/psalm/issues/10398): add missing methods of ReflectionProperty class in CallMap and CallMap deltas. by [@​niconoe-](https://github.com/niconoe-) in [https://github.com/vimeo/psalm/pull/10399](https://github.com/vimeo/psalm/pull/10399) ##### Docs - docs: A semicolon expected by [@​lens0021](https://github.com/lens0021) in [https://github.com/vimeo/psalm/pull/10149](https://github.com/vimeo/psalm/pull/10149) - Add documentation for [@​psalm-flow](https://github.com/psalm-flow) by [@​ohader](https://github.com/ohader) in [https://github.com/vimeo/psalm/pull/10349](https://github.com/vimeo/psalm/pull/10349) ##### Internal changes - Extract the list of impure functions into its own dictionary by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10136](https://github.com/vimeo/psalm/pull/10136) - `composer.json` tweaks by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10161](https://github.com/vimeo/psalm/pull/10161) - Bump actions/checkout from 3 to 4 by [@​dependabot](https://github.com/dependabot) in [https://github.com/vimeo/psalm/pull/10192](https://github.com/vimeo/psalm/pull/10192) - Update IssueBuffer.php by [@​aleksandr-shevchenko](https://github.com/aleksandr-shevchenko) in [https://github.com/vimeo/psalm/pull/10294](https://github.com/vimeo/psalm/pull/10294) - Backport rector fixes to 5.x by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10306](https://github.com/vimeo/psalm/pull/10306) - Bump fkirc/skip-duplicate-actions from 5.3.0 to 5.3.1 by [@​dependabot](https://github.com/dependabot) in [https://github.com/vimeo/psalm/pull/10313](https://github.com/vimeo/psalm/pull/10313) - Allow Symfony 7 by [@​kbond](https://github.com/kbond) in [https://github.com/vimeo/psalm/pull/10335](https://github.com/vimeo/psalm/pull/10335) - Get rid of legacy 7.3 logic by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10319](https://github.com/vimeo/psalm/pull/10319) - Finalize all internal classes by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10318](https://github.com/vimeo/psalm/pull/10318) - fix CI "split" unevenly splits the number of tests by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10389](https://github.com/vimeo/psalm/pull/10389) - Fix circleci builds by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10396](https://github.com/vimeo/psalm/pull/10396) ##### Other changes - Add exec output param out by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10128](https://github.com/vimeo/psalm/pull/10128) #### New Contributors - [@​lens0021](https://github.com/lens0021) made their first contribution in [https://github.com/vimeo/psalm/pull/10149](https://github.com/vimeo/psalm/pull/10149) - [@​kk-daniel](https://github.com/kk-daniel) made their first contribution in [https://github.com/vimeo/psalm/pull/10279](https://github.com/vimeo/psalm/pull/10279) - [@​aleksandr-shevchenko](https://github.com/aleksandr-shevchenko) made their first contribution in [https://github.com/vimeo/psalm/pull/10294](https://github.com/vimeo/psalm/pull/10294) - [@​simonberger](https://github.com/simonberger) made their first contribution in [https://github.com/vimeo/psalm/pull/10314](https://github.com/vimeo/psalm/pull/10314) - [@​kbond](https://github.com/kbond) made their first contribution in [https://github.com/vimeo/psalm/pull/10335](https://github.com/vimeo/psalm/pull/10335) - [@​issidorov](https://github.com/issidorov) made their first contribution in [https://github.com/vimeo/psalm/pull/10320](https://github.com/vimeo/psalm/pull/10320) **Full Changelog**: vimeo/psalm@5.15.0...5.16.0 </details> --- ### Configuration 📅 **Schedule**: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined). 🚦 **Automerge**: Disabled by config. Please merge this manually once you are satisfied. ♻ **Rebasing**: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox. 🔕 **Ignore**: Close this PR and you won't be reminded about this update again. --- - [ ] <!-- rebase-check -->If you want to rebase/retry this PR, check this box --- This PR has been generated by [Mend Renovate](https://www.mend.io/free-developer-tools/renovate/). View repository job log [here](https://developer.mend.io/github/open-feature/php-sdk). <!--renovate-debug:eyJjcmVhdGVkSW5WZXIiOiIzNy41OS44IiwidXBkYXRlZEluVmVyIjoiMzcuNTkuOCIsInRhcmdldEJyYW5jaCI6Im1haW4ifQ==--> Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
[![Mend Renovate logo banner](https://app.renovatebot.com/images/banner.svg)](https://renovatebot.com) This PR contains the following updates: | Package | Change | Age | Adoption | Passing | Confidence | |---|---|---|---|---|---| | [google/protobuf](https://developers.google.com/protocol-buffers/) ([source](https://github.com/protocolbuffers/protobuf-php)) | `3.25.0` -> `3.25.1` | [![age](https://developer.mend.io/api/mc/badges/age/packagist/google%2fprotobuf/3.25.1?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![adoption](https://developer.mend.io/api/mc/badges/adoption/packagist/google%2fprotobuf/3.25.1?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![passing](https://developer.mend.io/api/mc/badges/compatibility/packagist/google%2fprotobuf/3.25.0/3.25.1?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![confidence](https://developer.mend.io/api/mc/badges/confidence/packagist/google%2fprotobuf/3.25.0/3.25.1?slim=true)](https://docs.renovatebot.com/merge-confidence/) | | [phpstan/phpstan](https://github.com/phpstan/phpstan) | `1.10.41` -> `1.10.44` | [![age](https://developer.mend.io/api/mc/badges/age/packagist/phpstan%2fphpstan/1.10.44?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![adoption](https://developer.mend.io/api/mc/badges/adoption/packagist/phpstan%2fphpstan/1.10.44?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![passing](https://developer.mend.io/api/mc/badges/compatibility/packagist/phpstan%2fphpstan/1.10.41/1.10.44?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![confidence](https://developer.mend.io/api/mc/badges/confidence/packagist/phpstan%2fphpstan/1.10.41/1.10.44?slim=true)](https://docs.renovatebot.com/merge-confidence/) | | [ramsey/uuid](https://github.com/ramsey/uuid) | `4.7.4` -> `4.7.5` | [![age](https://developer.mend.io/api/mc/badges/age/packagist/ramsey%2fuuid/4.7.5?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![adoption](https://developer.mend.io/api/mc/badges/adoption/packagist/ramsey%2fuuid/4.7.5?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![passing](https://developer.mend.io/api/mc/badges/compatibility/packagist/ramsey%2fuuid/4.7.4/4.7.5?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![confidence](https://developer.mend.io/api/mc/badges/confidence/packagist/ramsey%2fuuid/4.7.4/4.7.5?slim=true)](https://docs.renovatebot.com/merge-confidence/) | | [vimeo/psalm](https://github.com/vimeo/psalm) | `5.15.0` -> `5.16.0` | [![age](https://developer.mend.io/api/mc/badges/age/packagist/vimeo%2fpsalm/5.16.0?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![adoption](https://developer.mend.io/api/mc/badges/adoption/packagist/vimeo%2fpsalm/5.16.0?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![passing](https://developer.mend.io/api/mc/badges/compatibility/packagist/vimeo%2fpsalm/5.15.0/5.16.0?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![confidence](https://developer.mend.io/api/mc/badges/confidence/packagist/vimeo%2fpsalm/5.15.0/5.16.0?slim=true)](https://docs.renovatebot.com/merge-confidence/) | --- ### Release Notes <details> <summary>protocolbuffers/protobuf-php (google/protobuf)</summary> ### [`v3.25.1`](https://github.com/protocolbuffers/protobuf-php/compare/v3.25.0...v3.25.1) [Compare Source](https://github.com/protocolbuffers/protobuf-php/compare/v3.25.0...v3.25.1) </details> <details> <summary>phpstan/phpstan (phpstan/phpstan)</summary> ### [`v1.10.44`](https://github.com/phpstan/phpstan/releases/tag/1.10.44) [Compare Source](https://github.com/phpstan/phpstan/compare/1.10.43...1.10.44) # Improvements 🔧 - PHP 8.3: support for dynamic class constant fetches ([RFC](https://wiki.php.net/rfc/dynamic_class_constant_fetch)) - PHP 8.3: support for anonymous readonly class - RedefinedParametersRule ([#​2755](https://github.com/phpstan/phpstan-src/pull/2755)), [#​8025](https://github.com/phpstan/phpstan/issues/8025), thanks [@​paulbalandan](https://github.com/paulbalandan)! - AbstractPrivateMethodRule ([#​2756](https://github.com/phpstan/phpstan-src/pull/2756)), thanks [@​staabm](https://github.com/staabm)! - ReadOnlyClassRule (phpstan/phpstan-src@02b2e3d) - InvalidLexicalVariablesInClosureUseRule ([#​2757](https://github.com/phpstan/phpstan-src/pull/2757)), [#​1855](https://github.com/phpstan/phpstan/issues/1855), thanks [@​paulbalandan](https://github.com/paulbalandan)! - AbstractProtectedMethodRule ([#​2758](https://github.com/phpstan/phpstan-src/pull/2758)), thanks [@​staabm](https://github.com/staabm)! - VarTagTypeRuleHelper: do not allow widening `list<array{id: int}>` to `mixed[]` ([#​2760](https://github.com/phpstan/phpstan-src/pull/2760)), thanks [@​janedbal](https://github.com/janedbal)! # Bugfixes 🐛 - Re-add nullable type to interface to fix `Carbon` PHPStan extension ([#​2762](https://github.com/phpstan/phpstan-src/pull/2762)), thanks [@​CalebDW](https://github.com/CalebDW)! - Fix named arguments for few multi-variant methods ([#​2748](https://github.com/phpstan/phpstan-src/pull/2748)), thanks [@​schlndh](https://github.com/schlndh)! - Fix overriding `SoapClient` old-style constructor (phpstan/phpstan-src@7765768), [#​10165](https://github.com/phpstan/phpstan/issues/10165) - Apply same fix in MethodSignatureRule from phpstan/phpstan-src@be2b415 (phpstan/phpstan-src@85fcd5f), [#​10166](https://github.com/phpstan/phpstan/issues/10166) # Function signature fixes 🤖 - Remove fake params from `setcookie`/`setrawcookie` ([#​2752](https://github.com/phpstan/phpstan-src/pull/2752)), [#​10171](https://github.com/phpstan/phpstan/issues/10171), thanks [@​schlndh](https://github.com/schlndh)! ### [`v1.10.43`](https://github.com/phpstan/phpstan/releases/tag/1.10.43) [Compare Source](https://github.com/phpstan/phpstan/compare/1.10.42...1.10.43) # Improvements 🔧 - Update `phpstan/phpdoc-parser` - Fix HTML description detection for PhpStorm stubs ([https://github.com/phpstan/phpdoc-parser/pull/220](https://github.com/phpstan/phpdoc-parser/pull/220)), thanks [@​schlndh](https://github.com/schlndh)! - Make `ReflectionEnum` generic (phpstan/phpstan-src@9ce8faf) # Bugfixes 🐛 - Merge right scope of `??=` with scope before the expression (phpstan/phpstan-src@846f44e), [#​10151](https://github.com/phpstan/phpstan/issues/10151), [#​10131](https://github.com/phpstan/phpstan/issues/10131) - Fix return type of parent calls for SplHeap and other internal methods ([#​2622](https://github.com/phpstan/phpstan-src/pull/2622)), [#​7162](https://github.com/phpstan/phpstan/issues/7162), [#​9867](https://github.com/phpstan/phpstan/issues/9867), thanks [@​schlndh](https://github.com/schlndh)! - `stdClass` does not have `__get` method (phpstan/phpstan-src@baf359e), [#​10149](https://github.com/phpstan/phpstan/issues/10149) - Fix signature check of method from trait (phpstan/phpstan-src@be2b415), [#​10153](https://github.com/phpstan/phpstan/issues/10153) - All `universalObjectCratesClasses` allow dynamic properties (phpstan/phpstan-src@2ec416e) - Fix infinite recursion with self-referencing class constant (phpstan/phpstan-src@93af41b), [#​10147](https://github.com/phpstan/phpstan/issues/10147) # Internals 🔍 - Add named arguments variants to reflection golden test ([#​2743](https://github.com/phpstan/phpstan-src/pull/2743)), thanks [@​schlndh](https://github.com/schlndh)! ### [`v1.10.42`](https://github.com/phpstan/phpstan/releases/tag/1.10.42) [Compare Source](https://github.com/phpstan/phpstan/compare/1.10.41...1.10.42) This release closes **25 issues**! 🎉 # Major new features 🚀 - PHP 8.3 - support for natively typed class constants ([RFC](https://wiki.php.net/rfc/typed_class_constants)) - PHP 8.3 - support for `#[\Override]` attribute (phpstan/phpstan-src@e9a5639) ([RFC](https://wiki.php.net/rfc/marking_overriden_methods)) - New configuration option: `checkMissingOverrideMethodAttribute` (https://phpstan.org/config-reference#checkmissingoverridemethodattribute) (phpstan/phpstan-src@ac4d3de) # Bleeding edge 🔪 - Detect overriding `@final` method in OverridingMethodRule, [#​9135](https://github.com/phpstan/phpstan/issues/9135) - MethodSignatureRule - look at abstract trait method (phpstan/phpstan-src@5fd8cee) - MagicConstantContextRule ([#​2741](https://github.com/phpstan/phpstan-src/pull/2741)), [#​10099](https://github.com/phpstan/phpstan/issues/10099), thanks [@​staabm](https://github.com/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](https://phpstan.org/blog/what-is-bleeding-edge)* # Improvements 🔧 - Add ConstantsInTraitsRule ([#​2718](https://github.com/phpstan/phpstan-src/pull/2718)), thanks [@​paulbalandan](https://github.com/paulbalandan)! - Add NoncapturingCatchRule ([#​2721](https://github.com/phpstan/phpstan-src/pull/2721)), [#​8663](https://github.com/phpstan/phpstan/issues/8663), thanks [@​paulbalandan](https://github.com/paulbalandan)! - Detect non-abstract methods with no body ([#​2730](https://github.com/phpstan/phpstan-src/pull/2730)), [#​4244](https://github.com/phpstan/phpstan/issues/4244), thanks [@​paulbalandan](https://github.com/paulbalandan)! - Detect properties declared in interface ([#​2731](https://github.com/phpstan/phpstan-src/pull/2731)), [#​8915](https://github.com/phpstan/phpstan/issues/8915), thanks [@​paulbalandan](https://github.com/paulbalandan)! - Add VariadicParametersDeclarationRule ([#​2733](https://github.com/phpstan/phpstan-src/pull/2733)), [#​3802](https://github.com/phpstan/phpstan/issues/3802), thanks [@​paulbalandan](https://github.com/paulbalandan)! - Add InvalidCallablePropertyTypeRule ([#​2745](https://github.com/phpstan/phpstan-src/pull/2745)), [#​4424](https://github.com/phpstan/phpstan/issues/4424), thanks [@​paulbalandan](https://github.com/paulbalandan)! - ConflictingTraitConstantsRule (phpstan/phpstan-src@f94a3c3) - Read class constant type when generalizing the type for `dynamicConstantNames` (phpstan/phpstan-src@cb9571b) - Rework prototype searching in OverridingMethodRule (phpstan/phpstan-src@4b2ffb8), [#​10101](https://github.com/phpstan/phpstan/issues/10101), [#​7541](https://github.com/phpstan/phpstan/issues/7541), [#​10043](https://github.com/phpstan/phpstan/issues/10043), [#​7859](https://github.com/phpstan/phpstan/issues/7859), [#​8081](https://github.com/phpstan/phpstan/issues/8081), [#​8500](https://github.com/phpstan/phpstan/issues/8500), [#​9014](https://github.com/phpstan/phpstan/issues/9014) - OverridingMethodRule - search for method prototype in traits (phpstan/phpstan-src@2df14af) - VarTagTypeRuleHelper: fix widening array shapes ([#​2738](https://github.com/phpstan/phpstan-src/pull/2738)), [#​10130](https://github.com/phpstan/phpstan/issues/10130), thanks [@​janedbal](https://github.com/janedbal)! - Note about Xdebug with `--debug` (phpstan/phpstan-src@c534f8c) - FunctionSignatureMapProvider - cache data statically (phpstan/phpstan-src@394064b), [#​10039](https://github.com/phpstan/phpstan/issues/10039) # Bugfixes 🐛 - Star projection is always within template type bounds ([#​2715](https://github.com/phpstan/phpstan-src/pull/2715)), [#​10097](https://github.com/phpstan/phpstan/issues/10097), thanks [@​jiripudil](https://github.com/jiripudil)! - Support `non-empty-string` in `str_shuffle()` ([#​2717](https://github.com/phpstan/phpstan-src/pull/2717)), thanks [@​staabm](https://github.com/staabm)! - Look if userland prototype has `ReturnTypeWillChange` or not (phpstan/phpstan-src@eb0c7a1), [#​9615](https://github.com/phpstan/phpstan/issues/9615) - Fix wrong tip about returning a list (phpstan/phpstan-src@00adfaa, phpstan/phpstan-src@00a9d94) - Fix parameter names for multi-variant functions ([#​2726](https://github.com/phpstan/phpstan-src/pull/2726)), [#​9018](https://github.com/phpstan/phpstan/issues/9018), [#​9399](https://github.com/phpstan/phpstan/issues/9399), [#​9923](https://github.com/phpstan/phpstan/issues/9923), [#​9823](https://github.com/phpstan/phpstan/issues/9823), thanks [@​schlndh](https://github.com/schlndh)! - Fix iterator_to_array, iterator_count for PHP 8.2 ([#​2625](https://github.com/phpstan/phpstan-src/pull/2625)), [#​9793](https://github.com/phpstan/phpstan/issues/9793), [#​7760](https://github.com/phpstan/phpstan/issues/7760), thanks [@​schlndh](https://github.com/schlndh)! - Update array_filter signature to allow null as callback ([#​2740](https://github.com/phpstan/phpstan/issues/2740)) ([#​2740](https://github.com/phpstan/phpstan-src/pull/2740)), thanks [@​andyexeter](https://github.com/andyexeter)! # Function signature fixes 🤖 - Fix return value of `mailparse_msg_get_part()` ([#​2722](https://github.com/phpstan/phpstan-src/pull/2722)), thanks [@​jlherren](https://github.com/jlherren)! - Update functionMaps ([#​2699](https://github.com/phpstan/phpstan-src/pull/2699)), thanks [@​zonuexe](https://github.com/zonuexe)! - Change `iptcparse` return type ([#​2727](https://github.com/phpstan/phpstan-src/pull/2727)), thanks [@​ManuelHu](https://github.com/ManuelHu)! # Internals 🔍 - Create DirectoryCreator helper class ([#​2697](https://github.com/phpstan/phpstan-src/pull/2697)), thanks [@​CalebDW](https://github.com/CalebDW)! - Use PHP 8.3 in Name Collision Detector (phpstan/phpstan-src@8cd239e) - Golden test for reflection ([#​2679](https://github.com/phpstan/phpstan-src/pull/2679)), thanks [@​schlndh](https://github.com/schlndh)! - Fully qualify the name of the `#[\Override]` attribute in error messages ([#​10136](https://github.com/phpstan/phpstan-src/pull/10136)), thanks [@​TimWolla](https://github.com/TimWolla)! - RuleTestCase - allow null tip (phpstan/phpstan-src@f384b43) </details> <details> <summary>ramsey/uuid (ramsey/uuid)</summary> ### [`v4.7.5`](https://github.com/ramsey/uuid/blob/HEAD/CHANGELOG.md#475---2023-11-08) [Compare Source](https://github.com/ramsey/uuid/compare/4.7.4...4.7.5) ##### Fixed - Protect against UUIDv7 collisions within the same millisecond, as reported in [#​518](https://github.com/ramsey/uuid/issues/518) and fixed in [#​522](https://github.com/ramsey/uuid/pull/522). - Improve the return type hint for `UuidInterface::compareTo()`. </details> <details> <summary>vimeo/psalm (vimeo/psalm)</summary> ### [`v5.16.0`](https://github.com/vimeo/psalm/releases/tag/5.16.0) [Compare Source](https://github.com/vimeo/psalm/compare/5.15.0...5.16.0) <!-- Release notes generated using configuration in .github/release.yml at 5.x --> #### What's Changed ##### Features - Show success message and type stats with GHA formatter by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10145](https://github.com/vimeo/psalm/pull/10145) - New sinks for TaintedCallable [#​10117](https://github.com/vimeo/psalm/issues/10117) by [@​cgocast](https://github.com/cgocast) in [https://github.com/vimeo/psalm/pull/10154](https://github.com/vimeo/psalm/pull/10154) - Properly inherit assertions from parents or implemented faces by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10157](https://github.com/vimeo/psalm/pull/10157) - Flag invalid declares by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10176](https://github.com/vimeo/psalm/pull/10176) - Narrow `ArrayObject` `TKey` template by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10190](https://github.com/vimeo/psalm/pull/10190) - Allow object assertions for `mixed` values by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10207](https://github.com/vimeo/psalm/pull/10207) - Issue handlers priority by [@​gmessier](https://github.com/gmessier) in [https://github.com/vimeo/psalm/pull/10202](https://github.com/vimeo/psalm/pull/10202) - Check for declare strict_types in block mode by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10234](https://github.com/vimeo/psalm/pull/10234) - feat(LSP): Improve the autocomplete for nested array shape by [@​ging-dev](https://github.com/ging-dev) in [https://github.com/vimeo/psalm/pull/10230](https://github.com/vimeo/psalm/pull/10230) - Add alias support to psalm-check-type by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10264](https://github.com/vimeo/psalm/pull/10264) - Allow parameter names in callable docblocks with templates by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10261](https://github.com/vimeo/psalm/pull/10261) - Disallow `never` type for parameters by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10266](https://github.com/vimeo/psalm/pull/10266) - Fix auto completion by partial property or method by [@​issidorov](https://github.com/issidorov) in [https://github.com/vimeo/psalm/pull/10320](https://github.com/vimeo/psalm/pull/10320) - Add stubs for rdKafka by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10351](https://github.com/vimeo/psalm/pull/10351) - Suppressing NoValue should not treat subsequent code as unevaluated by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10303](https://github.com/vimeo/psalm/pull/10303) - Fix misc callable bugs by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10370](https://github.com/vimeo/psalm/pull/10370) ##### Fixes - Added more gc_status return fields by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10138](https://github.com/vimeo/psalm/pull/10138) - Filter baseline when checking individual files by [@​edsrzf](https://github.com/edsrzf) in [https://github.com/vimeo/psalm/pull/10115](https://github.com/vimeo/psalm/pull/10115) - Assertion enhancements regarding `value-of` in combination with backed enums by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10150](https://github.com/vimeo/psalm/pull/10150) - `strrchr()`: `$before_needle` parameter by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10151](https://github.com/vimeo/psalm/pull/10151) - Update `mysqli` stub by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10155](https://github.com/vimeo/psalm/pull/10155) - Fix crash on property access to undefined property on a class with a missing dependncy by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10159](https://github.com/vimeo/psalm/pull/10159) - Prevent infinite-loop when resolving type-aliases by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10156](https://github.com/vimeo/psalm/pull/10156) - InheritorViolation was only being triggered on grand-childen classes by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10169](https://github.com/vimeo/psalm/pull/10169) - Restore support for namespaced functions in referencedFunction config by [@​tscni](https://github.com/tscni) in [https://github.com/vimeo/psalm/pull/10186](https://github.com/vimeo/psalm/pull/10186) - `DateTimeZone::getName()` always returns `non-empty-string` by [@​gsteel](https://github.com/gsteel) in [https://github.com/vimeo/psalm/pull/10187](https://github.com/vimeo/psalm/pull/10187) - Only the binary op 'plus' works with two arrays by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10209](https://github.com/vimeo/psalm/pull/10209) - Add openssl_\*\_export_to_file to impure functions by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10210](https://github.com/vimeo/psalm/pull/10210) - add FILTER_SANITIZE_URL filter to filter_var by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10214](https://github.com/vimeo/psalm/pull/10214) - Allow class-string<T> where T is a union by [@​MidnightDesign](https://github.com/MidnightDesign) in [https://github.com/vimeo/psalm/pull/10194](https://github.com/vimeo/psalm/pull/10194) - Loop over PDOStatement::fetch() arguments by [@​cgocast](https://github.com/cgocast) in [https://github.com/vimeo/psalm/pull/10237](https://github.com/vimeo/psalm/pull/10237) - Inherited assertions v2 by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10189](https://github.com/vimeo/psalm/pull/10189) - Resolve inherited conditional return types by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10191](https://github.com/vimeo/psalm/pull/10191) - Allow stringable objects in `sprintf()` values by [@​MidnightDesign](https://github.com/MidnightDesign) in [https://github.com/vimeo/psalm/pull/10231](https://github.com/vimeo/psalm/pull/10231) - fix: [#​10239](https://github.com/vimeo/psalm/issues/10239) by [@​ging-dev](https://github.com/ging-dev) in [https://github.com/vimeo/psalm/pull/10240](https://github.com/vimeo/psalm/pull/10240) - Remove duplicate namespace in InternalMethod error message by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10241](https://github.com/vimeo/psalm/pull/10241) - Add stream_socket_shutdown socket_shutdown to impure function list by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10244](https://github.com/vimeo/psalm/pull/10244) - Emit `MethodSignatureMismatch` when descendant does not return by reference by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10248](https://github.com/vimeo/psalm/pull/10248) - Negated class_exist check on class-string converts to string instead of mixed by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10262](https://github.com/vimeo/psalm/pull/10262) - Fix error message for implicitly returning functions with `never` return type by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10254](https://github.com/vimeo/psalm/pull/10254) - Type check nested templates by [@​klimick](https://github.com/klimick) in [https://github.com/vimeo/psalm/pull/10271](https://github.com/vimeo/psalm/pull/10271) - Fix return of BadSqlTainter::afterExpressionAnalysis() by [@​cgocast](https://github.com/cgocast) in [https://github.com/vimeo/psalm/pull/10270](https://github.com/vimeo/psalm/pull/10270) - Allow tainted numerics except for 'html' and 'has_quotes' by [@​cgocast](https://github.com/cgocast) in [https://github.com/vimeo/psalm/pull/10242](https://github.com/vimeo/psalm/pull/10242) - fix final class constant type by [@​kk-daniel](https://github.com/kk-daniel) in [https://github.com/vimeo/psalm/pull/10279](https://github.com/vimeo/psalm/pull/10279) - Fix inferring enum case value from a class constant by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10274](https://github.com/vimeo/psalm/pull/10274) - fix: [#​10080](https://github.com/vimeo/psalm/issues/10080) by [@​ging-dev](https://github.com/ging-dev) in [https://github.com/vimeo/psalm/pull/10228](https://github.com/vimeo/psalm/pull/10228) - Fix memory explosion with calls to method_exists by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10290](https://github.com/vimeo/psalm/pull/10290) - Additional caching fixes by [@​ging-dev](https://github.com/ging-dev) in [https://github.com/vimeo/psalm/pull/10289](https://github.com/vimeo/psalm/pull/10289) - str_replace / substr_replace signature improvements by [@​mathroc](https://github.com/mathroc) in [https://github.com/vimeo/psalm/pull/10277](https://github.com/vimeo/psalm/pull/10277) - Fix method calls and property accesses after extension_loaded by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10295](https://github.com/vimeo/psalm/pull/10295) - fix [@​param-out](https://github.com/param-out) with named arguments by [@​kk-daniel](https://github.com/kk-daniel) in [https://github.com/vimeo/psalm/pull/10312](https://github.com/vimeo/psalm/pull/10312) - Narrow down `get_browser` returning array or object by [@​simonberger](https://github.com/simonberger) in [https://github.com/vimeo/psalm/pull/10314](https://github.com/vimeo/psalm/pull/10314) - Allow int keys when calling Redis methods by [@​greg0ire](https://github.com/greg0ire) in [https://github.com/vimeo/psalm/pull/10355](https://github.com/vimeo/psalm/pull/10355) - Finding methods and properties for auto completion feature by [@​issidorov](https://github.com/issidorov) in [https://github.com/vimeo/psalm/pull/10385](https://github.com/vimeo/psalm/pull/10385) - update decimal stubs from documented URL by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10379](https://github.com/vimeo/psalm/pull/10379) - Fix Phar build failure by [@​tscni](https://github.com/tscni) in [https://github.com/vimeo/psalm/pull/10391](https://github.com/vimeo/psalm/pull/10391) - Fix redundant condition mixed type escape hatch & loose comparison int type shouldnt be mixed by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10388](https://github.com/vimeo/psalm/pull/10388) - Fix [#​10398](https://github.com/vimeo/psalm/issues/10398): add missing methods of ReflectionProperty class in CallMap and CallMap deltas. by [@​niconoe-](https://github.com/niconoe-) in [https://github.com/vimeo/psalm/pull/10399](https://github.com/vimeo/psalm/pull/10399) ##### Docs - docs: A semicolon expected by [@​lens0021](https://github.com/lens0021) in [https://github.com/vimeo/psalm/pull/10149](https://github.com/vimeo/psalm/pull/10149) - Add documentation for [@​psalm-flow](https://github.com/psalm-flow) by [@​ohader](https://github.com/ohader) in [https://github.com/vimeo/psalm/pull/10349](https://github.com/vimeo/psalm/pull/10349) ##### Internal changes - Extract the list of impure functions into its own dictionary by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10136](https://github.com/vimeo/psalm/pull/10136) - `composer.json` tweaks by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10161](https://github.com/vimeo/psalm/pull/10161) - Bump actions/checkout from 3 to 4 by [@​dependabot](https://github.com/dependabot) in [https://github.com/vimeo/psalm/pull/10192](https://github.com/vimeo/psalm/pull/10192) - Update IssueBuffer.php by [@​aleksandr-shevchenko](https://github.com/aleksandr-shevchenko) in [https://github.com/vimeo/psalm/pull/10294](https://github.com/vimeo/psalm/pull/10294) - Backport rector fixes to 5.x by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10306](https://github.com/vimeo/psalm/pull/10306) - Bump fkirc/skip-duplicate-actions from 5.3.0 to 5.3.1 by [@​dependabot](https://github.com/dependabot) in [https://github.com/vimeo/psalm/pull/10313](https://github.com/vimeo/psalm/pull/10313) - Allow Symfony 7 by [@​kbond](https://github.com/kbond) in [https://github.com/vimeo/psalm/pull/10335](https://github.com/vimeo/psalm/pull/10335) - Get rid of legacy 7.3 logic by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10319](https://github.com/vimeo/psalm/pull/10319) - Finalize all internal classes by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10318](https://github.com/vimeo/psalm/pull/10318) - fix CI "split" unevenly splits the number of tests by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10389](https://github.com/vimeo/psalm/pull/10389) - Fix circleci builds by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10396](https://github.com/vimeo/psalm/pull/10396) ##### Other changes - Add exec output param out by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10128](https://github.com/vimeo/psalm/pull/10128) #### New Contributors - [@​lens0021](https://github.com/lens0021) made their first contribution in [https://github.com/vimeo/psalm/pull/10149](https://github.com/vimeo/psalm/pull/10149) - [@​kk-daniel](https://github.com/kk-daniel) made their first contribution in [https://github.com/vimeo/psalm/pull/10279](https://github.com/vimeo/psalm/pull/10279) - [@​aleksandr-shevchenko](https://github.com/aleksandr-shevchenko) made their first contribution in [https://github.com/vimeo/psalm/pull/10294](https://github.com/vimeo/psalm/pull/10294) - [@​simonberger](https://github.com/simonberger) made their first contribution in [https://github.com/vimeo/psalm/pull/10314](https://github.com/vimeo/psalm/pull/10314) - [@​kbond](https://github.com/kbond) made their first contribution in [https://github.com/vimeo/psalm/pull/10335](https://github.com/vimeo/psalm/pull/10335) - [@​issidorov](https://github.com/issidorov) made their first contribution in [https://github.com/vimeo/psalm/pull/10320](https://github.com/vimeo/psalm/pull/10320) **Full Changelog**: vimeo/psalm@5.15.0...5.16.0 </details> --- ### Configuration 📅 **Schedule**: Branch creation - "before 4am on Monday" (UTC), Automerge - At any time (no schedule defined). 🚦 **Automerge**: Disabled by config. Please merge this manually once you are satisfied. ♻ **Rebasing**: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox. 👻 **Immortal**: This PR will be recreated if closed unmerged. Get [config help](https://github.com/renovatebot/renovate/discussions) if that's undesired. --- - [ ] <!-- rebase-check -->If you want to rebase/retry this PR, check this box --- This PR has been generated by [Mend Renovate](https://www.mend.io/free-developer-tools/renovate/). View repository job log [here](https://developer.mend.io/github/cerbos/cerbos-sdk-php). <!--renovate-debug:eyJjcmVhdGVkSW5WZXIiOiIzNy40Ni4wIiwidXBkYXRlZEluVmVyIjoiMzcuNTkuOCIsInRhcmdldEJyYW5jaCI6Im1haW4ifQ==--> --------- Signed-off-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Signed-off-by: Oğuzhan Durgun <oguzhandurgun95@gmail.com> Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: Oğuzhan Durgun <oguzhandurgun95@gmail.com>
[![Mend Renovate logo banner](https://app.renovatebot.com/images/banner.svg)](https://renovatebot.com) This PR contains the following updates: | Package | Change | Age | Adoption | Passing | Confidence | |---|---|---|---|---|---| | [vimeo/psalm](https://github.com/vimeo/psalm) | `~5.15.0` -> `~5.16.0` | [![age](https://developer.mend.io/api/mc/badges/age/packagist/vimeo%2fpsalm/5.16.0?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![adoption](https://developer.mend.io/api/mc/badges/adoption/packagist/vimeo%2fpsalm/5.16.0?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![passing](https://developer.mend.io/api/mc/badges/compatibility/packagist/vimeo%2fpsalm/5.15.0/5.16.0?slim=true)](https://docs.renovatebot.com/merge-confidence/) | [![confidence](https://developer.mend.io/api/mc/badges/confidence/packagist/vimeo%2fpsalm/5.15.0/5.16.0?slim=true)](https://docs.renovatebot.com/merge-confidence/) | --- ### Release Notes <details> <summary>vimeo/psalm (vimeo/psalm)</summary> ### [`v5.16.0`](https://github.com/vimeo/psalm/releases/tag/5.16.0) [Compare Source](https://github.com/vimeo/psalm/compare/5.15.0...5.16.0) <!-- Release notes generated using configuration in .github/release.yml at 5.x --> #### What's Changed ##### Features - Show success message and type stats with GHA formatter by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10145](https://github.com/vimeo/psalm/pull/10145) - New sinks for TaintedCallable [#​10117](https://github.com/vimeo/psalm/issues/10117) by [@​cgocast](https://github.com/cgocast) in [https://github.com/vimeo/psalm/pull/10154](https://github.com/vimeo/psalm/pull/10154) - Properly inherit assertions from parents or implemented faces by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10157](https://github.com/vimeo/psalm/pull/10157) - Flag invalid declares by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10176](https://github.com/vimeo/psalm/pull/10176) - Narrow `ArrayObject` `TKey` template by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10190](https://github.com/vimeo/psalm/pull/10190) - Allow object assertions for `mixed` values by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10207](https://github.com/vimeo/psalm/pull/10207) - Issue handlers priority by [@​gmessier](https://github.com/gmessier) in [https://github.com/vimeo/psalm/pull/10202](https://github.com/vimeo/psalm/pull/10202) - Check for declare strict_types in block mode by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10234](https://github.com/vimeo/psalm/pull/10234) - feat(LSP): Improve the autocomplete for nested array shape by [@​ging-dev](https://github.com/ging-dev) in [https://github.com/vimeo/psalm/pull/10230](https://github.com/vimeo/psalm/pull/10230) - Add alias support to psalm-check-type by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10264](https://github.com/vimeo/psalm/pull/10264) - Allow parameter names in callable docblocks with templates by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10261](https://github.com/vimeo/psalm/pull/10261) - Disallow `never` type for parameters by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10266](https://github.com/vimeo/psalm/pull/10266) - Fix auto completion by partial property or method by [@​issidorov](https://github.com/issidorov) in [https://github.com/vimeo/psalm/pull/10320](https://github.com/vimeo/psalm/pull/10320) - Add stubs for rdKafka by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10351](https://github.com/vimeo/psalm/pull/10351) - Suppressing NoValue should not treat subsequent code as unevaluated by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10303](https://github.com/vimeo/psalm/pull/10303) - Fix misc callable bugs by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10370](https://github.com/vimeo/psalm/pull/10370) ##### Fixes - Added more gc_status return fields by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10138](https://github.com/vimeo/psalm/pull/10138) - Filter baseline when checking individual files by [@​edsrzf](https://github.com/edsrzf) in [https://github.com/vimeo/psalm/pull/10115](https://github.com/vimeo/psalm/pull/10115) - Assertion enhancements regarding `value-of` in combination with backed enums by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10150](https://github.com/vimeo/psalm/pull/10150) - `strrchr()`: `$before_needle` parameter by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10151](https://github.com/vimeo/psalm/pull/10151) - Update `mysqli` stub by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10155](https://github.com/vimeo/psalm/pull/10155) - Fix crash on property access to undefined property on a class with a missing dependncy by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10159](https://github.com/vimeo/psalm/pull/10159) - Prevent infinite-loop when resolving type-aliases by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10156](https://github.com/vimeo/psalm/pull/10156) - InheritorViolation was only being triggered on grand-childen classes by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10169](https://github.com/vimeo/psalm/pull/10169) - Restore support for namespaced functions in referencedFunction config by [@​tscni](https://github.com/tscni) in [https://github.com/vimeo/psalm/pull/10186](https://github.com/vimeo/psalm/pull/10186) - `DateTimeZone::getName()` always returns `non-empty-string` by [@​gsteel](https://github.com/gsteel) in [https://github.com/vimeo/psalm/pull/10187](https://github.com/vimeo/psalm/pull/10187) - Only the binary op 'plus' works with two arrays by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10209](https://github.com/vimeo/psalm/pull/10209) - Add openssl_\*\_export_to_file to impure functions by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10210](https://github.com/vimeo/psalm/pull/10210) - add FILTER_SANITIZE_URL filter to filter_var by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10214](https://github.com/vimeo/psalm/pull/10214) - Allow class-string<T> where T is a union by [@​MidnightDesign](https://github.com/MidnightDesign) in [https://github.com/vimeo/psalm/pull/10194](https://github.com/vimeo/psalm/pull/10194) - Loop over PDOStatement::fetch() arguments by [@​cgocast](https://github.com/cgocast) in [https://github.com/vimeo/psalm/pull/10237](https://github.com/vimeo/psalm/pull/10237) - Inherited assertions v2 by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10189](https://github.com/vimeo/psalm/pull/10189) - Resolve inherited conditional return types by [@​boesing](https://github.com/boesing) in [https://github.com/vimeo/psalm/pull/10191](https://github.com/vimeo/psalm/pull/10191) - Allow stringable objects in `sprintf()` values by [@​MidnightDesign](https://github.com/MidnightDesign) in [https://github.com/vimeo/psalm/pull/10231](https://github.com/vimeo/psalm/pull/10231) - fix: [#​10239](https://github.com/vimeo/psalm/issues/10239) by [@​ging-dev](https://github.com/ging-dev) in [https://github.com/vimeo/psalm/pull/10240](https://github.com/vimeo/psalm/pull/10240) - Remove duplicate namespace in InternalMethod error message by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10241](https://github.com/vimeo/psalm/pull/10241) - Add stream_socket_shutdown socket_shutdown to impure function list by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10244](https://github.com/vimeo/psalm/pull/10244) - Emit `MethodSignatureMismatch` when descendant does not return by reference by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10248](https://github.com/vimeo/psalm/pull/10248) - Negated class_exist check on class-string converts to string instead of mixed by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10262](https://github.com/vimeo/psalm/pull/10262) - Fix error message for implicitly returning functions with `never` return type by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10254](https://github.com/vimeo/psalm/pull/10254) - Type check nested templates by [@​klimick](https://github.com/klimick) in [https://github.com/vimeo/psalm/pull/10271](https://github.com/vimeo/psalm/pull/10271) - Fix return of BadSqlTainter::afterExpressionAnalysis() by [@​cgocast](https://github.com/cgocast) in [https://github.com/vimeo/psalm/pull/10270](https://github.com/vimeo/psalm/pull/10270) - Allow tainted numerics except for 'html' and 'has_quotes' by [@​cgocast](https://github.com/cgocast) in [https://github.com/vimeo/psalm/pull/10242](https://github.com/vimeo/psalm/pull/10242) - fix final class constant type by [@​kk-daniel](https://github.com/kk-daniel) in [https://github.com/vimeo/psalm/pull/10279](https://github.com/vimeo/psalm/pull/10279) - Fix inferring enum case value from a class constant by [@​tuqqu](https://github.com/tuqqu) in [https://github.com/vimeo/psalm/pull/10274](https://github.com/vimeo/psalm/pull/10274) - fix: [#​10080](https://github.com/vimeo/psalm/issues/10080) by [@​ging-dev](https://github.com/ging-dev) in [https://github.com/vimeo/psalm/pull/10228](https://github.com/vimeo/psalm/pull/10228) - Fix memory explosion with calls to method_exists by [@​robchett](https://github.com/robchett) in [https://github.com/vimeo/psalm/pull/10290](https://github.com/vimeo/psalm/pull/10290) - Additional caching fixes by [@​ging-dev](https://github.com/ging-dev) in [https://github.com/vimeo/psalm/pull/10289](https://github.com/vimeo/psalm/pull/10289) - str_replace / substr_replace signature improvements by [@​mathroc](https://github.com/mathroc) in [https://github.com/vimeo/psalm/pull/10277](https://github.com/vimeo/psalm/pull/10277) - Fix method calls and property accesses after extension_loaded by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10295](https://github.com/vimeo/psalm/pull/10295) - fix [@​param-out](https://github.com/param-out) with named arguments by [@​kk-daniel](https://github.com/kk-daniel) in [https://github.com/vimeo/psalm/pull/10312](https://github.com/vimeo/psalm/pull/10312) - Narrow down `get_browser` returning array or object by [@​simonberger](https://github.com/simonberger) in [https://github.com/vimeo/psalm/pull/10314](https://github.com/vimeo/psalm/pull/10314) - Allow int keys when calling Redis methods by [@​greg0ire](https://github.com/greg0ire) in [https://github.com/vimeo/psalm/pull/10355](https://github.com/vimeo/psalm/pull/10355) - Finding methods and properties for auto completion feature by [@​issidorov](https://github.com/issidorov) in [https://github.com/vimeo/psalm/pull/10385](https://github.com/vimeo/psalm/pull/10385) - update decimal stubs from documented URL by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10379](https://github.com/vimeo/psalm/pull/10379) - Fix Phar build failure by [@​tscni](https://github.com/tscni) in [https://github.com/vimeo/psalm/pull/10391](https://github.com/vimeo/psalm/pull/10391) - Fix redundant condition mixed type escape hatch & loose comparison int type shouldnt be mixed by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10388](https://github.com/vimeo/psalm/pull/10388) - Fix [#​10398](https://github.com/vimeo/psalm/issues/10398): add missing methods of ReflectionProperty class in CallMap and CallMap deltas. by [@​niconoe-](https://github.com/niconoe-) in [https://github.com/vimeo/psalm/pull/10399](https://github.com/vimeo/psalm/pull/10399) ##### Docs - docs: A semicolon expected by [@​lens0021](https://github.com/lens0021) in [https://github.com/vimeo/psalm/pull/10149](https://github.com/vimeo/psalm/pull/10149) - Add documentation for [@​psalm-flow](https://github.com/psalm-flow) by [@​ohader](https://github.com/ohader) in [https://github.com/vimeo/psalm/pull/10349](https://github.com/vimeo/psalm/pull/10349) ##### Internal changes - Extract the list of impure functions into its own dictionary by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10136](https://github.com/vimeo/psalm/pull/10136) - `composer.json` tweaks by [@​weirdan](https://github.com/weirdan) in [https://github.com/vimeo/psalm/pull/10161](https://github.com/vimeo/psalm/pull/10161) - Bump actions/checkout from 3 to 4 by [@​dependabot](https://github.com/dependabot) in [https://github.com/vimeo/psalm/pull/10192](https://github.com/vimeo/psalm/pull/10192) - Update IssueBuffer.php by [@​aleksandr-shevchenko](https://github.com/aleksandr-shevchenko) in [https://github.com/vimeo/psalm/pull/10294](https://github.com/vimeo/psalm/pull/10294) - Backport rector fixes to 5.x by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10306](https://github.com/vimeo/psalm/pull/10306) - Bump fkirc/skip-duplicate-actions from 5.3.0 to 5.3.1 by [@​dependabot](https://github.com/dependabot) in [https://github.com/vimeo/psalm/pull/10313](https://github.com/vimeo/psalm/pull/10313) - Allow Symfony 7 by [@​kbond](https://github.com/kbond) in [https://github.com/vimeo/psalm/pull/10335](https://github.com/vimeo/psalm/pull/10335) - Get rid of legacy 7.3 logic by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10319](https://github.com/vimeo/psalm/pull/10319) - Finalize all internal classes by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10318](https://github.com/vimeo/psalm/pull/10318) - fix CI "split" unevenly splits the number of tests by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10389](https://github.com/vimeo/psalm/pull/10389) - Fix circleci builds by [@​danog](https://github.com/danog) in [https://github.com/vimeo/psalm/pull/10396](https://github.com/vimeo/psalm/pull/10396) ##### Other changes - Add exec output param out by [@​kkmuffme](https://github.com/kkmuffme) in [https://github.com/vimeo/psalm/pull/10128](https://github.com/vimeo/psalm/pull/10128) #### New Contributors - [@​lens0021](https://github.com/lens0021) made their first contribution in [https://github.com/vimeo/psalm/pull/10149](https://github.com/vimeo/psalm/pull/10149) - [@​kk-daniel](https://github.com/kk-daniel) made their first contribution in [https://github.com/vimeo/psalm/pull/10279](https://github.com/vimeo/psalm/pull/10279) - [@​aleksandr-shevchenko](https://github.com/aleksandr-shevchenko) made their first contribution in [https://github.com/vimeo/psalm/pull/10294](https://github.com/vimeo/psalm/pull/10294) - [@​simonberger](https://github.com/simonberger) made their first contribution in [https://github.com/vimeo/psalm/pull/10314](https://github.com/vimeo/psalm/pull/10314) - [@​kbond](https://github.com/kbond) made their first contribution in [https://github.com/vimeo/psalm/pull/10335](https://github.com/vimeo/psalm/pull/10335) - [@​issidorov](https://github.com/issidorov) made their first contribution in [https://github.com/vimeo/psalm/pull/10320](https://github.com/vimeo/psalm/pull/10320) **Full Changelog**: vimeo/psalm@5.15.0...5.16.0 </details> --- ### Configuration 📅 **Schedule**: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined). 🚦 **Automerge**: Disabled by config. Please merge this manually once you are satisfied. ♻ **Rebasing**: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox. 🔕 **Ignore**: Close this PR and you won't be reminded about this update again. --- - [ ] <!-- rebase-check -->If you want to rebase/retry this PR, check this box --- This PR has been generated by [Mend Renovate](https://www.mend.io/free-developer-tools/renovate/). View repository job log [here](https://developer.mend.io/github/open-feature/php-sdk). <!--renovate-debug:eyJjcmVhdGVkSW5WZXIiOiIzNy41OS44IiwidXBkYXRlZEluVmVyIjoiMzcuNTkuOCIsInRhcmdldEJyYW5jaCI6Im1haW4ifQ==--> Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Signed-off-by: Tom Carrio <tom@carrio.dev>
With #10157, some type-juggling was introduced regarding assertions which were inherited.
Since there were still some issues (which are now reflected by the tests), I tried to fix these as well.
I found a check in
psalm/src/Psalm/Internal/Analyzer/Statements/Expression/Call/ClassTemplateParamCollector.php
Lines 51 to 53 in f782767