Remove unnecessary FileIO from FileReader

phpstan · Dec 12, 2022 · 253316f · 253316f
1 parent 5137bc8
commit 253316f
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/src/File/FileReader.php b/src/File/FileReader.php
@@ -3,7 +3,6 @@
 namespace PHPStan\File;
 
 use function file_get_contents;
-use function is_file;
 use function stream_resolve_include_path;
 
 class FileReader
@@ -13,14 +12,17 @@ public static function read(string $fileName): string
  {
  $path = $fileName;
 
- if (!is_file($path)) {
+ $contents = @file_get_contents($path);
+ if ($contents === false) {
  $path = stream_resolve_include_path($fileName);
 
  if ($path === false) {
  throw new CouldNotReadFileException($fileName);
  }
+
+ $contents = @file_get_contents($path);
  }
- $contents = @file_get_contents($path);
+
  if ($contents === false) {
  throw new CouldNotReadFileException($fileName);
  }