PHP PHPStan\Analyser TypeSpecifier Examples

Example #1

File: NodeScopeResolver.php Project: phpstan/phpstan

 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;
 }