danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2025-01-21 21:31:13 +01:00
Code Issues Projects Releases Wiki Activity

Fix algebra more

Browse Source
This commit is contained in:
Matt Brown 2020-10-16 11:17:52 -04:00
parent 083cc29c04
commit 234eae6ad0
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Psalm/Internal/Scope/IfScope.php
View File

@ -69,7 +69,7 @@ class IfScope
* statement, if the `if` statement contains branches with leaving statements,
* and the else leaves too
*
* @var array<int, Clause>
* @var list<Clause>
*/
public $reasonable_clauses = [];

8
src/Psalm/Type/Algebra.php
View File

@ -78,7 +78,7 @@ class Algebra
}
/**
* @return array<int, Clause>
* @return list<Clause>
*/
public static function getFormula(
int $conditional_object_id,
@ -677,10 +677,10 @@ class Algebra
}
/**
* @param array<int, Clause> $left_clauses
* @param array<int, Clause> $right_clauses
* @param list<Clause> $left_clauses
* @param list<Clause> $right_clauses
*
* @return array<int, Clause>
* @return list<Clause>
*
* @psalm-pure
*/