Skip to content
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

Allow if/false assert for same variable to allow array/list distinction #9853

Merged

Conversation

kkmuffme
Copy link
Contributor

Fix #9037

@kkmuffme kkmuffme marked this pull request as ready for review May 31, 2023 23:39
@kkmuffme
Copy link
Contributor Author

@orklah code review & merge please

Not sure if $active_truths would have to be updated in this array in a similar way, as I didn't find it to affect anything for array scenario, so I didn't touch it.

@@ -322,6 +325,7 @@ public static function simplifyCNF(array $clauses): array
/**
* Look for clauses with only one possible value
*
* @psalm-suppress MoreSpecificReturnType
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'll need to know what happens here

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Added a comment, is that enough?
See the `See the @psalm-suppress LessSpecificReturnStatement further down in this function too.

@@ -2254,6 +2254,7 @@ private static function getFalseInequalityAssertions(
}

/**
* @psalm-suppress MoreSpecificReturnType
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

same

@@ -2951,6 +2981,7 @@ private static function getTrueEqualityAssertions(
}

/**
* @psalm-suppress MoreSpecificReturnType
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

same

@orklah orklah added the release:feature The PR will be included in 'Features' section of the release notes label Jun 4, 2023
@orklah orklah merged commit c158605 into vimeo:master Jun 4, 2023
22 of 24 checks passed
@orklah
Copy link
Collaborator

orklah commented Jun 4, 2023

Thanks!

@kkmuffme kkmuffme deleted the multiple-psalm-assert-if-for-array-list branch June 7, 2023 11:04
oguzhand95 pushed a commit to cerbos/cerbos-sdk-php that referenced this pull request Jul 3, 2023
[![Mend
Renovate](https://app.renovatebot.com/images/banner.svg)](https://renovatebot.com)

This PR contains the following updates:

| Package | Type | Update | Change |
|---|---|---|---|
| [phpstan/phpstan](https://togithub.com/phpstan/phpstan) | require-dev
| patch | `1.10.19` -> `1.10.22` |
| [phpunit/phpunit](https://phpunit.de/)
([source](https://togithub.com/sebastianbergmann/phpunit)) | require-dev
| patch | `10.2.2` -> `10.2.3` |
| [vimeo/psalm](https://togithub.com/vimeo/psalm) | require-dev | minor
| `5.12.0` -> `5.13.1` |

---

### Release Notes

<details>
<summary>phpstan/phpstan (phpstan/phpstan)</summary>

###
[`v1.10.22`](https://togithub.com/phpstan/phpstan/releases/tag/1.10.22)

[Compare
Source](https://togithub.com/phpstan/phpstan/compare/1.10.21...1.10.22)

# Bleeding edge 🔪

- More precise `file()` flags args
([#&#8203;2476](https://togithub.com/phpstan/phpstan-src/pull/2476),
[#&#8203;2482](https://togithub.com/phpstan/phpstan-src/pull/2482)),
thanks [@&#8203;staabm](https://togithub.com/staabm)!
- Non-static methods cannot be used as static callables in PHP 8+
([#&#8203;2420](https://togithub.com/phpstan/phpstan-src/pull/2420)),
thanks [@&#8203;staabm](https://togithub.com/staabm)!
- More precise `flock()` operation flags
([#&#8203;2477](https://togithub.com/phpstan/phpstan-src/pull/2477)),
thanks [@&#8203;staabm](https://togithub.com/staabm)!
- Rule for `call_user_func()`
([#&#8203;2479](https://togithub.com/phpstan/phpstan-src/pull/2479)),
thanks [@&#8203;staabm](https://togithub.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 return type extension for `constant()`
([#&#8203;2474](https://togithub.com/phpstan/phpstan-src/pull/2474)),
thanks [@&#8203;herndlm](https://togithub.com/herndlm)!
- Dynamic `assert()` throw type extension
([#&#8203;2427](https://togithub.com/phpstan/phpstan-src/pull/2427)),
thanks
[@&#8203;patrickkusebauch](https://togithub.com/patrickkusebauch)!
- Update nikic/PHP-Parser
(phpstan/phpstan-src@79b3034)
- PHP 8.3: `json_validate()` stub
(phpstan/phpstan-src@828b269),
thanks [@&#8203;staabm](https://togithub.com/staabm)!
- Implement `call_user_func()` DynamicFunctionReturnTypeExtension
([#&#8203;2479](https://togithub.com/phpstan/phpstan-src/pull/2479)),
thanks [@&#8203;staabm](https://togithub.com/staabm)!

# Bugfixes 🐛

- Add support for math with constant numeric string
([#&#8203;2209](https://togithub.com/phpstan/phpstan-src/pull/2209)),
[#&#8203;8803](https://togithub.com/phpstan/phpstan/issues/8803),
[#&#8203;8827](https://togithub.com/phpstan/phpstan/issues/8827), thanks
[@&#8203;VincentLanglet](https://togithub.com/VincentLanglet)!
- Use case insensitive matching to detect usages of private methods
([#&#8203;2484](https://togithub.com/phpstan/phpstan-src/pull/2484)),
[#&#8203;8346](https://togithub.com/phpstan/phpstan/issues/8346), thanks
[@&#8203;stof](https://togithub.com/stof)!
- fix array_splice with non-array replacement
([#&#8203;2457](https://togithub.com/phpstan/phpstan-src/pull/2457)),
thanks [@&#8203;schlndh](https://togithub.com/schlndh)!
- Resolve key and value type of partially non-iterable types when
entering foreach
(phpstan/phpstan-src@cb5a2b4),
[#&#8203;9535](https://togithub.com/phpstan/phpstan/issues/9535),
[#&#8203;4907](https://togithub.com/phpstan/phpstan/issues/4907),
[#&#8203;8924](https://togithub.com/phpstan/phpstan/issues/8924),
[#&#8203;5998](https://togithub.com/phpstan/phpstan/issues/5998)
- Foreach can append to the array but it does not change the number of
iterations
(phpstan/phpstan-src@27085c5),
[#&#8203;4612](https://togithub.com/phpstan/phpstan/issues/4612)
- MutatingScope - process left side of BooleanAnd and BooleanOr before
getting type of the whole expression
(phpstan/phpstan-src@989dd6f),
[#&#8203;5365](https://togithub.com/phpstan/phpstan/issues/5365),
[#&#8203;6551](https://togithub.com/phpstan/phpstan/issues/6551),
[#&#8203;7491](https://togithub.com/phpstan/phpstan/issues/7491),
[#&#8203;4004](https://togithub.com/phpstan/phpstan/issues/4004),
[#&#8203;2499](https://togithub.com/phpstan/phpstan/issues/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),
[#&#8203;5326](https://togithub.com/phpstan/phpstan/issues/5326)
- Fix ClassConstFetch Identical specification with Yoda conditions
([#&#8203;2498](https://togithub.com/phpstan/phpstan-src/pull/2498)),
[#&#8203;9542](https://togithub.com/phpstan/phpstan/issues/9542), thanks
[@&#8203;herndlm](https://togithub.com/herndlm)!

# Function signature fixes 🤖

- Update functionMap for ext-mongodb 1.16
([#&#8203;2473](https://togithub.com/phpstan/phpstan-src/pull/2473)),
thanks [@&#8203;alcaeus](https://togithub.com/alcaeus)!
- Add false to the `db2_num_rows()` return type
([#&#8203;2456](https://togithub.com/phpstan/phpstan-src/pull/2456)),
thanks [@&#8203;morozov](https://togithub.com/morozov)!
- More precise `ignore_user_abort()` return type
([#&#8203;2489](https://togithub.com/phpstan/phpstan-src/pull/2489)),
thanks [@&#8203;staabm](https://togithub.com/staabm)!

# Internals 🔍

- Type projections, part 1: call-site variance in GenericObjectType
([#&#8203;2471](https://togithub.com/phpstan/phpstan-src/pull/2471)),
thanks [@&#8203;jiripudil](https://togithub.com/jiripudil)!
- Test PHP 8.3
([#&#8203;2486](https://togithub.com/phpstan/phpstan-src/pull/2486))
- Cleanup NodeScopeResolver
([#&#8203;2499](https://togithub.com/phpstan/phpstan-src/pull/2499)),
thanks [@&#8203;staabm](https://togithub.com/staabm)!

###
[`v1.10.21`](https://togithub.com/phpstan/phpstan/releases/tag/1.10.21)

[Compare
Source](https://togithub.com/phpstan/phpstan/compare/1.10.20...1.10.21)

# Bugfixes 🐛

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

# Internals 🔍

- Cheap checks first in ObjectType
([#&#8203;2475](https://togithub.com/phpstan/phpstan-src/pull/2475)),
thanks [@&#8203;mad-briller](https://togithub.com/mad-briller)!

###
[`v1.10.20`](https://togithub.com/phpstan/phpstan/releases/tag/1.10.20)

[Compare
Source](https://togithub.com/phpstan/phpstan/compare/1.10.19...1.10.20)

# Improvements 🔧

- PHPStan Pro: Change Cloudflare DNS for to family version
([#&#8203;2467](https://togithub.com/phpstan/phpstan-src/pull/2467)),
thanks [@&#8203;spaze](https://togithub.com/spaze)!
- Add `non-zero-int` type
([#&#8203;2449](https://togithub.com/phpstan/phpstan-src/pull/2449)),
thanks [@&#8203;PrinsFrank](https://togithub.com/PrinsFrank)!
- Implement `gettype()` return type extension
([#&#8203;2437](https://togithub.com/phpstan/phpstan-src/pull/2437)),
thanks [@&#8203;staabm](https://togithub.com/staabm)!

# Bugfixes 🐛

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

# Internals 🔍

- Remove redundant conditions from
RemoveUnusedCodeByPhpVersionIdVisitor.
([#&#8203;2459](https://togithub.com/phpstan/phpstan-src/pull/2459)),
thanks [@&#8203;mad-briller](https://togithub.com/mad-briller)!
- Return early in CachingVistor to avoid always-false instanceof checks.
([#&#8203;2460](https://togithub.com/phpstan/phpstan-src/pull/2460)),
thanks [@&#8203;mad-briller](https://togithub.com/mad-briller)!
- Introduce CombinationsHelper
(phpstan/phpstan-src@175307e)
- `Type::getFiniteTypes()`
(phpstan/phpstan-src@7912caf,
phpstan/phpstan-src@fa9a951,
phpstan/phpstan-src@b5cf52b)

</details>

<details>
<summary>sebastianbergmann/phpunit (phpunit/phpunit)</summary>

###
[`v10.2.3`](https://togithub.com/sebastianbergmann/phpunit/compare/10.2.2...10.2.3)

[Compare
Source](https://togithub.com/sebastianbergmann/phpunit/compare/10.2.2...10.2.3)

</details>

<details>
<summary>vimeo/psalm (vimeo/psalm)</summary>

### [`v5.13.1`](https://togithub.com/vimeo/psalm/releases/tag/5.13.1)

[Compare
Source](https://togithub.com/vimeo/psalm/compare/5.13.0...5.13.1)

<!-- Release notes generated using configuration in .github/release.yml
at 5.13.1 -->

#### What's Changed

##### Fixes

- Fix glob CallMap and stub to prevent crash on alpine by
[@&#8203;ygottschalk](https://togithub.com/ygottschalk) in
[vimeo/psalm#9942

##### Docs

- Fix the link reference in the doc by
[@&#8203;stof](https://togithub.com/stof) in
[vimeo/psalm#9967

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

### [`v5.13.0`](https://togithub.com/vimeo/psalm/releases/tag/5.13.0)

[Compare
Source](https://togithub.com/vimeo/psalm/compare/5.12.0...5.13.0)

<!-- Release notes generated using configuration in .github/release.yml
at master -->

#### What's Changed

##### Features

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

##### Fixes

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

##### Docs

- Document classAndDescendants configuration tag by
[@&#8203;janopae](https://togithub.com/janopae) in
[vimeo/psalm#9867

##### Internal changes

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

##### Typos

- Fixed typo in ConstantTest by
[@&#8203;staabm](https://togithub.com/staabm) in
[vimeo/psalm#9835

#### New Contributors

- [@&#8203;Hanmac](https://togithub.com/Hanmac) made their first
contribution in
[vimeo/psalm#9814
- [@&#8203;stof](https://togithub.com/stof) made their first
contribution in
[vimeo/psalm#9868

**Full Changelog**:
vimeo/psalm@5.12.0...5.13.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://togithub.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:eyJjcmVhdGVkSW5WZXIiOiIzNS4xNDEuMyIsInVwZGF0ZWRJblZlciI6IjM1LjE0NC4yIiwidGFyZ2V0QnJhbmNoIjoibWFpbiJ9-->

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>
tcarrio pushed a commit to open-feature/php-sdk that referenced this pull request Aug 16, 2023
[![Mend
Renovate](https://app.renovatebot.com/images/banner.svg)](https://renovatebot.com)

This PR contains the following updates:

| Package | Type | Update | Change |
|---|---|---|---|
| [vimeo/psalm](https://togithub.com/vimeo/psalm) | require-dev | minor
| `~5.8.0` -> `~5.14.0` |

---

### Release Notes

<details>
<summary>vimeo/psalm (vimeo/psalm)</summary>

### [`v5.14.0`](https://togithub.com/vimeo/psalm/releases/tag/5.14.0)

[Compare
Source](https://togithub.com/vimeo/psalm/compare/5.13.1...5.14.0)

<!-- Release notes generated using configuration in .github/release.yml
at 5.x -->

#### What's Changed

##### Features

- Infer output format from GITHUB_ACTIONS env by
[@&#8203;ro0NL](https://togithub.com/ro0NL) in
[vimeo/psalm#9982
- fix mixed replace return types for arrays by
[@&#8203;kkmuffme](https://togithub.com/kkmuffme) in
[vimeo/psalm#9981
- make stubbed constant types configurable with comment by
[@&#8203;kkmuffme](https://togithub.com/kkmuffme) in
[vimeo/psalm#9992
- Allow space before array shape opening brace and added unit tests by
[@&#8203;rhertogh](https://togithub.com/rhertogh) in
[vimeo/psalm#10000
- Add generic stubs for MongoDB BSON classes by
[@&#8203;alcaeus](https://togithub.com/alcaeus) in
[vimeo/psalm#10016
- Allow comments in types (e.g. in array shapes) by
[@&#8203;rhertogh](https://togithub.com/rhertogh) in
[vimeo/psalm#10004
- [#&#8203;10030](https://togithub.com/vimeo/psalm/issues/10030) Fix
missing TaintedSql by [@&#8203;cgocast](https://togithub.com/cgocast) in
[vimeo/psalm#10032
- Automatic LSP container path mapping by
[@&#8203;weirdan](https://togithub.com/weirdan) in
[vimeo/psalm#10033
- added GitHub CI for unit tests with PHP 8.2 and 8.3 by
[@&#8203;thbley](https://togithub.com/thbley) in
[vimeo/psalm#10028
- Modernize LSP progress reporting by
[@&#8203;weirdan](https://togithub.com/weirdan) in
[vimeo/psalm#10050
- Add type detection for PDOStatement::fetchAll(PDO::FETCH_CLASS,
SomeClass::class) by [@&#8203;thbley](https://togithub.com/thbley) in
[vimeo/psalm#10055

##### Fixes

- Fix sprintf single arg splat array by
[@&#8203;kkmuffme](https://togithub.com/kkmuffme) in
[vimeo/psalm#9975
- Fixed exhuming enums as enums, not as classes by
[@&#8203;ygottschalk](https://togithub.com/ygottschalk) in
[vimeo/psalm#9988
- Missing composer lock should not invalidate cache created with missing
composer lock by [@&#8203;kkmuffme](https://togithub.com/kkmuffme) in
[vimeo/psalm#9970
- no error for printf with only 1 arg by
[@&#8203;kkmuffme](https://togithub.com/kkmuffme) in
[vimeo/psalm#9993
- Fix "days" falsable return not ignored consistently by
[@&#8203;kkmuffme](https://togithub.com/kkmuffme) in
[vimeo/psalm#9998
- offsetExists/Get/Set/Unset types were too generic by
[@&#8203;kkmuffme](https://togithub.com/kkmuffme) in
[vimeo/psalm#9999
- Fix inference high order function when closure param is omitted by
[@&#8203;klimick](https://togithub.com/klimick) in
[vimeo/psalm#10014
- Fix incorrect positions set in code action edits by
[@&#8203;weirdan](https://togithub.com/weirdan) in
[vimeo/psalm#10034
- Always report UnusedBaseline issues by
[@&#8203;ygottschalk](https://togithub.com/ygottschalk) in
[vimeo/psalm#10012
- Fix scanning of intersection types by
[@&#8203;danog](https://togithub.com/danog) in
[vimeo/psalm#10043
- Fix combination of non-falsy-string and falsy literal by
[@&#8203;danog](https://togithub.com/danog) in
[vimeo/psalm#10039
- Fix variadic callable type check by
[@&#8203;klimick](https://togithub.com/klimick) in
[vimeo/psalm#10066

##### Internal changes

- Fixed psalm self test by
[@&#8203;ygottschalk](https://togithub.com/ygottschalk) in
[vimeo/psalm#9990
- Fix/phpparser deprecation name parts by
[@&#8203;ygottschalk](https://togithub.com/ygottschalk) in
[vimeo/psalm#9964
- Simplify conditions with deep object access by
[@&#8203;weirdan](https://togithub.com/weirdan) in
[vimeo/psalm#10037
- Map special RPC paths by
[@&#8203;weirdan](https://togithub.com/weirdan) in
[vimeo/psalm#10046

#### New Contributors

- [@&#8203;rhertogh](https://togithub.com/rhertogh) made their first
contribution in
[vimeo/psalm#10000
- [@&#8203;cgocast](https://togithub.com/cgocast) made their first
contribution in
[vimeo/psalm#10032

**Full Changelog**:
vimeo/psalm@5.13.1...5.14.0

### [`v5.13.1`](https://togithub.com/vimeo/psalm/releases/tag/5.13.1)

[Compare
Source](https://togithub.com/vimeo/psalm/compare/5.13.0...5.13.1)

<!-- Release notes generated using configuration in .github/release.yml
at 5.13.1 -->

#### What's Changed

##### Fixes

- Fix glob CallMap and stub to prevent crash on alpine by
[@&#8203;ygottschalk](https://togithub.com/ygottschalk) in
[vimeo/psalm#9942

##### Docs

- Fix the link reference in the doc by
[@&#8203;stof](https://togithub.com/stof) in
[vimeo/psalm#9967

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

### [`v5.13.0`](https://togithub.com/vimeo/psalm/releases/tag/5.13.0)

[Compare
Source](https://togithub.com/vimeo/psalm/compare/5.12.0...5.13.0)

<!-- Release notes generated using configuration in .github/release.yml
at master -->

#### What's Changed

##### Features

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

##### Fixes

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

##### Docs

- Document classAndDescendants configuration tag by
[@&#8203;janopae](https://togithub.com/janopae) in
[vimeo/psalm#9867

##### Internal changes

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

##### Typos

- Fixed typo in ConstantTest by
[@&#8203;staabm](https://togithub.com/staabm) in
[vimeo/psalm#9835

#### New Contributors

- [@&#8203;Hanmac](https://togithub.com/Hanmac) made their first
contribution in
[vimeo/psalm#9814
- [@&#8203;stof](https://togithub.com/stof) made their first
contribution in
[vimeo/psalm#9868

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

### [`v5.12.0`](https://togithub.com/vimeo/psalm/releases/tag/5.12.0)

[Compare
Source](https://togithub.com/vimeo/psalm/compare/5.11.0...5.12.0)

<!-- Release notes generated using configuration in .github/release.yml
at master -->

#### What's Changed

##### Features

- WIP - Limit inheritance to a subset of classes
[#&#8203;1450](https://togithub.com/vimeo/psalm/issues/1450) by
[@&#8203;robchett](https://togithub.com/robchett) in
[vimeo/psalm#9687
- UnsupportedPropertyReferenceUsage by
[@&#8203;jack-worman](https://togithub.com/jack-worman) in
[vimeo/psalm#9769
- Improve return types of pow() by
[@&#8203;robchett](https://togithub.com/robchett) in
[vimeo/psalm#9795
- Narrow the type of $haystack when strpos(...) !== false by
[@&#8203;robchett](https://togithub.com/robchett) in
[vimeo/psalm#9788
- allow using more than 8G of memory in psalter by
[@&#8203;orklah](https://togithub.com/orklah) in
[vimeo/psalm#9805

##### Fixes

- Fix missing global class type when scanning cached files by
[@&#8203;tscni](https://togithub.com/tscni) in
[vimeo/psalm#9735
- Fix union argument type check against templated param by
[@&#8203;klimick](https://togithub.com/klimick) in
[vimeo/psalm#9750
- Allow dynamic properties from PHPDoc by
[@&#8203;fluffycondor](https://togithub.com/fluffycondor) in
[vimeo/psalm#9742
- improve glob stubs by
[@&#8203;kkmuffme](https://togithub.com/kkmuffme) in
[vimeo/psalm#9752
- Removed return type false from date and gmdate by
[@&#8203;Alkisum](https://togithub.com/Alkisum) in
[vimeo/psalm#9761
- methods and vars cannot be falsy by
[@&#8203;kkmuffme](https://togithub.com/kkmuffme) in
[vimeo/psalm#9796
- fix offset for type param changes by
[@&#8203;orklah](https://togithub.com/orklah) in
[vimeo/psalm#9803

##### Docs

- Documented suggestions for HTML user input by
[@&#8203;mmcev106](https://togithub.com/mmcev106) in
[vimeo/psalm#9780
- Document array shape unsealing syntax by
[@&#8203;robchett](https://togithub.com/robchett) in
[vimeo/psalm#9784

##### Internal changes

- Enable opcache if it is installed by
[@&#8203;danog](https://togithub.com/danog) in
[vimeo/psalm#9779

#### New Contributors

- [@&#8203;tscni](https://togithub.com/tscni) made their first
contribution in
[vimeo/psalm#9735
- [@&#8203;Alkisum](https://togithub.com/Alkisum) made their first
contribution in
[vimeo/psalm#9761

**Full Changelog**:
vimeo/psalm@5.11.0...5.12.0

### [`v5.11.0`](https://togithub.com/vimeo/psalm/releases/tag/5.11.0)

[Compare
Source](https://togithub.com/vimeo/psalm/compare/5.10.0...5.11.0)

<!-- Release notes generated using configuration in .github/release.yml
at master -->

#### What's Changed

##### Fixes

- SplDoublyLinkedList's index is always int by
[@&#8203;kamil-tekiela](https://togithub.com/kamil-tekiela) in
[vimeo/psalm#9736
- Fix string negation to never by
[@&#8203;klimick](https://togithub.com/klimick) in
[vimeo/psalm#9743
- Fix ParadoxicalCondition with complex match expression by
[@&#8203;klimick](https://togithub.com/klimick) in
[vimeo/psalm#9739
- Fix invalid cast for templated class-string by
[@&#8203;klimick](https://togithub.com/klimick) in
[vimeo/psalm#9738
- Fix OverriddenPropertyAccess error message by
[@&#8203;edsrzf](https://togithub.com/edsrzf) in
[vimeo/psalm#9740
- Ignore nullable return form SimpleXMLElement::addChild() by
[@&#8203;greg0ire](https://togithub.com/greg0ire) in
[vimeo/psalm#9745

**Full Changelog**:
vimeo/psalm@5.10.0...5.11.0

### [`v5.10.0`](https://togithub.com/vimeo/psalm/releases/tag/5.10.0)

[Compare
Source](https://togithub.com/vimeo/psalm/compare/5.9.0...5.10.0)

<!-- Release notes generated using configuration in .github/release.yml
at master -->

#### What's Changed

##### Features

- Introduce `value-of` with backed enum cases in assertions by
[@&#8203;boesing](https://togithub.com/boesing) in
[vimeo/psalm#9586
- Introduce callable object intersection by
[@&#8203;boesing](https://togithub.com/boesing) in
[vimeo/psalm#9599
- Contextual inference for const callable by
[@&#8203;klimick](https://togithub.com/klimick) in
[vimeo/psalm#9623
- Allow to intersect type alias with non-type-aliases by
[@&#8203;boesing](https://togithub.com/boesing) in
[vimeo/psalm#9638
- Provide support for templated `value-of` enum values by
[@&#8203;boesing](https://togithub.com/boesing) in
[vimeo/psalm#9655
- (re-)implement object-shape assertions by
[@&#8203;boesing](https://togithub.com/boesing) in
[vimeo/psalm#9656
- Support anonymous object template replacement by
[@&#8203;klimick](https://togithub.com/klimick) in
[vimeo/psalm#9664
- Implement unsealed array generic syntax by
[@&#8203;danog](https://togithub.com/danog) in
[vimeo/psalm#9694
- Introduce BeforeExpressionAnalysisEvent by
[@&#8203;tuqqu](https://togithub.com/tuqqu) in
[vimeo/psalm#9725
- Add support for
[@&#8203;psalm-no-seal-properties](https://togithub.com/psalm-no-seal-properties)
and
[@&#8203;psalm-no-seal-methods](https://togithub.com/psalm-no-seal-methods)
by [@&#8203;robchett](https://togithub.com/robchett) in
[vimeo/psalm#9681

##### Fixes

- Fix remaining intl, reflection. xml and zip callmaps by
[@&#8203;othercorey](https://togithub.com/othercorey) in
[vimeo/psalm#9595
- fix [#&#8203;9049](https://togithub.com/vimeo/psalm/issues/9049) by
[@&#8203;orklah](https://togithub.com/orklah) in
[vimeo/psalm#9598
- fix coercion detection between two keyed arrays by
[@&#8203;orklah](https://togithub.com/orklah) in
[vimeo/psalm#9606
- fix: treat includes starting with '.' and '..' correct by
[@&#8203;jjjb03](https://togithub.com/jjjb03) in
[vimeo/psalm#9608
- Allow enabling mixed issues reporting for error levels > 2. by
[@&#8203;ADmad](https://togithub.com/ADmad) in
[vimeo/psalm#9626
- Preserve `non-empty-string` type when combining literal and numeric
strings by [@&#8203;boesing](https://togithub.com/boesing) in
[vimeo/psalm#9630
- Do not report required closure arguments as unused by
[@&#8203;boesing](https://togithub.com/boesing) in
[vimeo/psalm#9629
- Fix various db callmaps by
[@&#8203;othercorey](https://togithub.com/othercorey) in
[vimeo/psalm#9632
- fix: add missing constructor parameter to IteratorIterator by
[@&#8203;SenseException](https://togithub.com/SenseException) in
[vimeo/psalm#9646
- Flatten `match` arm conditions to check conditions independently by
[@&#8203;tuqqu](https://togithub.com/tuqqu) in
[vimeo/psalm#9647
- Fixed non empty arg issue in array_splice function by
[@&#8203;whizsid](https://togithub.com/whizsid) in
[vimeo/psalm#9643
- Fix `array_flip` to preserve non-empty array type by
[@&#8203;tuqqu](https://togithub.com/tuqqu) in
[vimeo/psalm#9651
- Fix list<T> template replacement by
[@&#8203;klimick](https://togithub.com/klimick) in
[vimeo/psalm#9658
- Fix iterable template replacement by
[@&#8203;klimick](https://togithub.com/klimick) in
[vimeo/psalm#9660
- Fix/9373 using enum property as const array key by
[@&#8203;ygottschalk](https://togithub.com/ygottschalk) in
[vimeo/psalm#9393
- Specify array share for `stream_context_get_params` return value by
[@&#8203;lptn](https://togithub.com/lptn) in
[vimeo/psalm#9663
- Fixed crash issue when using multiple literals for array_splice by
[@&#8203;whizsid](https://togithub.com/whizsid) in
[vimeo/psalm#9673
- Fix comparison of unions of multiple callables by
[@&#8203;danog](https://togithub.com/danog) in
[vimeo/psalm#9676
- Add stub for DateInterval by
[@&#8203;robchett](https://togithub.com/robchett) in
[vimeo/psalm#9682
- Return a non-empty-(lowercase-)string from mb_strtolower by
[@&#8203;robchett](https://togithub.com/robchett) in
[vimeo/psalm#9678
- Don't throw UnnecesseryVarAnnotation when hinting a mixed template var
by [@&#8203;robchett](https://togithub.com/robchett) in
[vimeo/psalm#9679
- Fix is_object assertions on final classes by
[@&#8203;danog](https://togithub.com/danog) in
[vimeo/psalm#9686
- Add return type provider for date/gmdate by
[@&#8203;robchett](https://togithub.com/robchett) in
[vimeo/psalm#9691
- Avoid wrong assertions when working with objects returned by methods
by [@&#8203;danog](https://togithub.com/danog) in
[vimeo/psalm#9685
- Handle included directory paths without crashing by
[@&#8203;edsrzf](https://togithub.com/edsrzf) in
[vimeo/psalm#9701
- Contextual closure arg inference for class methods by
[@&#8203;klimick](https://togithub.com/klimick) in
[vimeo/psalm#9700
- Fix [#&#8203;9692](https://togithub.com/vimeo/psalm/issues/9692) by
[@&#8203;danog](https://togithub.com/danog) in
[vimeo/psalm#9693
- Allow running new on template objects by
[@&#8203;danog](https://togithub.com/danog) in
[vimeo/psalm#9704
- Fix date return type provider by
[@&#8203;danog](https://togithub.com/danog) in
[vimeo/psalm#9711
- Fix UnevaluatedCode false positive at declare(strict_types=1) by
[@&#8203;klimick](https://togithub.com/klimick) in
[vimeo/psalm#9719
- Fix ambiguous constant inheritance false positive by
[@&#8203;Jean85](https://togithub.com/Jean85) in
[vimeo/psalm#9720

##### Docs

- Add CLI help for the error-level option by
[@&#8203;dantleech](https://togithub.com/dantleech) in
[vimeo/psalm#9590
- Replace `@template T as X` with `@template T of X` in documentation by
[@&#8203;janopae](https://togithub.com/janopae) in
[vimeo/psalm#9690
- Make it easier to find how to promote Trace by
[@&#8203;greg0ire](https://togithub.com/greg0ire) in
[vimeo/psalm#9717
- Document [@&#8203;mixin](https://togithub.com/mixin) by
[@&#8203;robchett](https://togithub.com/robchett) in
[vimeo/psalm#9706

##### Internal changes

- Bump mheap/github-action-required-labels from 3 to 4 by
[@&#8203;dependabot](https://togithub.com/dependabot) in
[vimeo/psalm#9601
- Avoid verbose opcache logging by
[@&#8203;danog](https://togithub.com/danog) in
[vimeo/psalm#9670
- Valid array access on a non-empty-string yields a non-empty-string by
[@&#8203;robchett](https://togithub.com/robchett) in
[vimeo/psalm#9675
- Remove clone leftovers from immutable refactoring by
[@&#8203;danog](https://togithub.com/danog) in
[vimeo/psalm#9709

#### New Contributors

- [@&#8203;dantleech](https://togithub.com/dantleech) made their first
contribution in
[vimeo/psalm#9590
- [@&#8203;jjjb03](https://togithub.com/jjjb03) made their first
contribution in
[vimeo/psalm#9608
- [@&#8203;SenseException](https://togithub.com/SenseException) made
their first contribution in
[vimeo/psalm#9646
- [@&#8203;tuqqu](https://togithub.com/tuqqu) made their first
contribution in
[vimeo/psalm#9647
- [@&#8203;whizsid](https://togithub.com/whizsid) made their first
contribution in
[vimeo/psalm#9643
- [@&#8203;janopae](https://togithub.com/janopae) made their first
contribution in
[vimeo/psalm#9690

**Full Changelog**:
vimeo/psalm@5.9.0...5.10.0

### [`v5.9.0`](https://togithub.com/vimeo/psalm/releases/tag/5.9.0)

[Compare Source](https://togithub.com/vimeo/psalm/compare/5.8.0...5.9.0)

<!-- Release notes generated using configuration in .github/release.yml
at master -->

#### What's Changed

##### Features

- `json_encode()` returns a non-empty-string with `JSON_THROW_ON_ERROR |
JSON_UNESCAPED_UNICODE` by
[@&#8203;fluffycondor](https://togithub.com/fluffycondor) in
[vimeo/psalm#9479
- WIP: Performance/Feature Improvements to the Language Server by
[@&#8203;tm1000](https://togithub.com/tm1000) in
[vimeo/psalm#8960
- Support int separators in docblocks by
[@&#8203;weirdan](https://togithub.com/weirdan) in
[vimeo/psalm#9491
- [@&#8203;property](https://togithub.com/property) annotations: allow
*not* implying
[@&#8203;psalm-seal-properties](https://togithub.com/psalm-seal-properties)
by [@&#8203;danielbeardsley](https://togithub.com/danielbeardsley) in
[vimeo/psalm#9568
- Improve PHP8 str_\* function signatures by
[@&#8203;fluffycondor](https://togithub.com/fluffycondor) in
[vimeo/psalm#9534
- Contextual inference for first-class-callable by
[@&#8203;klimick](https://togithub.com/klimick) in
[vimeo/psalm#9570

##### Fixes

- Compare list generic params by
[@&#8203;weirdan](https://togithub.com/weirdan) in
[vimeo/psalm#9487
- Add `truthy-string` to reserved word list. by
[@&#8203;ZebulanStanphill](https://togithub.com/ZebulanStanphill) in
[vimeo/psalm#9486
- Fix [#&#8203;9433](https://togithub.com/vimeo/psalm/issues/9433) by
[@&#8203;ptomulik](https://togithub.com/ptomulik) in
[vimeo/psalm#9439
- Add missing array, float, int and bool types to callmaps by
[@&#8203;othercorey](https://togithub.com/othercorey) in
[vimeo/psalm#9474
- Fix asserted property mangling by
[@&#8203;weirdan](https://togithub.com/weirdan) in
[vimeo/psalm#9507
- Fix return type of str_split() by
[@&#8203;othercorey](https://togithub.com/othercorey) in
[vimeo/psalm#9504
- Fix integer overflow in array keys by
[@&#8203;weirdan](https://togithub.com/weirdan) in
[vimeo/psalm#9499
- Set inside_call for eval expressions by
[@&#8203;edsrzf](https://togithub.com/edsrzf) in
[vimeo/psalm#9519
- Improve json_encode/json_decode functions signatures by
[@&#8203;fluffycondor](https://togithub.com/fluffycondor) in
[vimeo/psalm#9525
- Fix MissingThrowsDocblock when documented interface is extended by
thrown exception interface by
[@&#8203;paoloconi96](https://togithub.com/paoloconi96) in
[vimeo/psalm#9528
- Fixed [#&#8203;9496](https://togithub.com/vimeo/psalm/issues/9496) by
[@&#8203;ptomulik](https://togithub.com/ptomulik) in
[vimeo/psalm#9497
- Prevent assertion leaks from `else` by
[@&#8203;weirdan](https://togithub.com/weirdan) in
[vimeo/psalm#9538
- Fixed coercion of mixed into non-empty-mixed by
[@&#8203;weirdan](https://togithub.com/weirdan) in
[vimeo/psalm#9541
- always combine the result of expansions by
[@&#8203;orklah](https://togithub.com/orklah) in
[vimeo/psalm#9562
- Clean up unreflectable callmap methods by
[@&#8203;othercorey](https://togithub.com/othercorey) in
[vimeo/psalm#9526
- Add better return type to mysqli fetch_field\* by
[@&#8203;MoonE](https://togithub.com/MoonE) in
[vimeo/psalm#9555
- \[mysql] Add stubs for `mysqli`, `mysqli_result` and `mysqli_stmt`
classes by [@&#8203;phansys](https://togithub.com/phansys) in
[vimeo/psalm#9547
- Fix array_unique callmap by
[@&#8203;othercorey](https://togithub.com/othercorey) in
[vimeo/psalm#9323
- Improve types for range() by
[@&#8203;kamil-tekiela](https://togithub.com/kamil-tekiela) in
[vimeo/psalm#9577
- Fixed [#&#8203;9506](https://togithub.com/vimeo/psalm/issues/9506) by
[@&#8203;ptomulik](https://togithub.com/ptomulik) in
[vimeo/psalm#9509
- Handle different line endings from baseline. by
[@&#8203;DnwK98](https://togithub.com/DnwK98) in
[vimeo/psalm#9566

##### Docs

- Doc/psalm api on methods by
[@&#8203;ygottschalk](https://togithub.com/ygottschalk) in
[vimeo/psalm#9544

##### Internal changes

- Optimize composer caching by
[@&#8203;weirdan](https://togithub.com/weirdan) in
[vimeo/psalm#9493
- Update phar-build to large resource class in config.yml by
[@&#8203;weirdan](https://togithub.com/weirdan) in
[vimeo/psalm#9494
- Refuse to use PHP versions we did not request by
[@&#8203;weirdan](https://togithub.com/weirdan) in
[vimeo/psalm#9492
- Make Atomic subclasses consistently call their parent constructors by
[@&#8203;edsrzf](https://togithub.com/edsrzf) in
[vimeo/psalm#9406
- Remove always-empty ClassAnalyzer leftover_stmts array by
[@&#8203;edsrzf](https://togithub.com/edsrzf) in
[vimeo/psalm#9522
- Skip gnupg extension in callmap tests by
[@&#8203;othercorey](https://togithub.com/othercorey) in
[vimeo/psalm#9576

#### New Contributors

- [@&#8203;ZebulanStanphill](https://togithub.com/ZebulanStanphill) made
their first contribution in
[vimeo/psalm#9486
- [@&#8203;paoloconi96](https://togithub.com/paoloconi96) made their
first contribution in
[vimeo/psalm#9528
- [@&#8203;MoonE](https://togithub.com/MoonE) made their first
contribution in
[vimeo/psalm#9555
- [@&#8203;danielbeardsley](https://togithub.com/danielbeardsley) made
their first contribution in
[vimeo/psalm#9568
- [@&#8203;DnwK98](https://togithub.com/DnwK98) made their first
contribution in
[vimeo/psalm#9566

**Full Changelog**: vimeo/psalm@5.8.0...5.9.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:eyJjcmVhdGVkSW5WZXIiOiIzNS4yMi4xIiwidXBkYXRlZEluVmVyIjoiMzYuMjQuMiIsInRhcmdldEJyYW5jaCI6Im1haW4ifQ==-->

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release:feature The PR will be included in 'Features' section of the release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Broken assert for array and list - DocblockTypeContradiction
2 participants