From ede1ac88d63f004511324fe253df7d3a56b112cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jaroslav=20Hansl=C3=ADk?= <kukulich@kukulich.cz>
Date: Sat, 16 Dec 2023 12:47:08 +0100
Subject: [PATCH] Removed dead code after JetBrains/phpstorm-stubs upgrade

---
 .../PhpStormStubsSourceStubberTest.php          | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/test/unit/SourceLocator/SourceStubber/PhpStormStubsSourceStubberTest.php b/test/unit/SourceLocator/SourceStubber/PhpStormStubsSourceStubberTest.php
index c281e90f1..ea07ea6c8 100644
--- a/test/unit/SourceLocator/SourceStubber/PhpStormStubsSourceStubberTest.php
+++ b/test/unit/SourceLocator/SourceStubber/PhpStormStubsSourceStubberTest.php
@@ -108,12 +108,6 @@ public static function internalClassesProvider(): array
             array_filter(
                 $classNames,
                 static function (string $className): bool {
-                    // Missing in JetBrains/phpstorm-stubs
-                    // @phpstan-ignore-next-line
-                    if ($className === 'Override') {
-                        return false;
-                    }
-
                     $reflection = new CoreReflectionClass($className);
 
                     if (! $reflection->isInternal()) {
@@ -271,17 +265,6 @@ public static function internalFunctionsProvider(): array
             array_filter(
                 $functionNames,
                 static function (string $functionName): bool {
-                    if (
-                        in_array($functionName, [
-                        // Missing in JetBrains/phpstorm-stubs
-                            'str_decrement',
-                            'str_increment',
-                            'stream_context_set_options',
-                        ], true)
-                    ) {
-                        return false;
-                    }
-
                     $reflection = new CoreReflectionFunction($functionName);
 
                     // Check only always enabled extensions