mirror of
https://github.com/danog/psalm.git
synced 2024-11-27 04:45:20 +01:00
Ors can still be created directly from conditions
This commit is contained in:
parent
6e8088776d
commit
9230b425e7
@ -705,6 +705,10 @@ class Algebra
|
||||
}
|
||||
}
|
||||
|
||||
$creating_object_id = $right_clause->creating_object_id === $left_clause->creating_object_id
|
||||
? $right_clause->creating_object_id
|
||||
: null;
|
||||
|
||||
$clauses[] = new Clause(
|
||||
$possibilities,
|
||||
false,
|
||||
@ -712,7 +716,9 @@ class Algebra
|
||||
$right_clause->generated
|
||||
|| $left_clause->generated
|
||||
|| count($left_clauses) > 1
|
||||
|| count($right_clauses) > 1
|
||||
|| count($right_clauses) > 1,
|
||||
[],
|
||||
$creating_object_id
|
||||
);
|
||||
}
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user