1
0
mirror of https://github.com/danog/psalm.git synced 2025-01-23 06:11:25 +01:00

Revert one particular replacement that confuses Psalm

This commit is contained in:
Bruce Weirdan 2022-07-29 22:00:21 -04:00
parent 58e87fa5e0
commit 238b54abf8
No known key found for this signature in database
GPG Key ID: CFC3AAB181751B0D

View File

@ -824,10 +824,10 @@ class CallAnalyzer
if ($orred_rules) {
if (isset($type_assertions[$assertion_var_id])) {
$type_assertions[$assertion_var_id] = [
...$type_assertions[$assertion_var_id],
...[$orred_rules]
];
$type_assertions[$assertion_var_id] = array_merge(
$type_assertions[$assertion_var_id],
[$orred_rules]
);
} else {
$type_assertions[$assertion_var_id] = [$orred_rules];
}