File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed
Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff 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
You can’t perform that action at this time.
0 commit comments