Skip to content

Commit f38718a

Browse files
committed
Update TypeSpecifier.php
1 parent e4cad70 commit f38718a

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

src/Analyser/TypeSpecifier.php

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -453,7 +453,7 @@ public function specifyTypesInCondition(
453453

454454
if (
455455
!$context->null()
456-
&& $expr->right instanceof FuncCall
456+
&& $expr->right instanceof Expr\CallLike
457457
) {
458458
$newScope = $scope->filterBySpecifiedTypes($result);
459459
$callType = $newScope->getType($expr->right);
@@ -1954,13 +1954,13 @@ private function createSpecifierContextReturnType(
19541954
TypeSpecifierContext $context,
19551955
): TypeSpecifierContext
19561956
{
1957-
if ($context->true()) {
1957+
//if ($context->true()) {
19581958
return TypeSpecifierContext::createTrue($contextReturnType);
1959-
} elseif ($context->false()) {
1960-
return TypeSpecifierContext::createFalse($contextReturnType);
1961-
}
1959+
//} elseif ($context->false()) {
1960+
// return TypeSpecifierContext::createFalse($contextReturnType);
1961+
//}
19621962

1963-
return $context;
1963+
//return $context;
19641964
}
19651965

19661966
public function resolveEqual(Expr\BinaryOp\Equal $expr, Scope $scope, TypeSpecifierContext $context): SpecifiedTypes

0 commit comments

Comments
 (0)