PHPStan\Analyser\NodeScopeResolver::lookForTypeSpecificationsInEarlyTermination PHP Method

lookForTypeSpecificationsInEarlyTermination() private method

private lookForTypeSpecificationsInEarlyTermination ( Scope $scope, PhpParser\Node $node ) : Scope
$scope Scope
$node PhpParser\Node
return Scope
    private function lookForTypeSpecificationsInEarlyTermination(Scope $scope, Node $node) : Scope
    {
        $types = $this->typeSpecifier->specifyTypesInCondition(new SpecifiedTypes(), $scope, $node);
        foreach ($types->getSureNotTypes() as $type) {
            $scope = $scope->specifyExpressionType($type[0], $type[1]);
        }
        return $scope;
    }