Increase PHPStan rule level to 10

Author: sebastianbergmann

phpstan.neon

@@ -1,5 +1,5 @@
 parameters:
-    level: 9
+    level: 10
     paths:
         - src
         - tests/unit

src/Restorer.php

@@ -13,6 +13,7 @@
 use function array_key_exists;
 use function array_keys;
 use function array_merge;
+use function assert;
 use function in_array;
 use function is_array;
 use ReflectionClass;
@@ -95,6 +96,8 @@ private function restoreSuperGlobalArray(Snapshot $snapshot, string $superGlobal
             );
 
             foreach ($keys as $key) {
+                assert(isset($GLOBALS[$superGlobalArray]) && is_array($GLOBALS[$superGlobalArray]));
+
                 if (isset($superGlobalVariables[$superGlobalArray][$key])) {
                     $GLOBALS[$superGlobalArray][$key] = $superGlobalVariables[$superGlobalArray][$key];
                 } else {

src/Snapshot.php

@@ -128,6 +128,7 @@ public function __construct(?ExcludeList $excludeList = null, bool $includeGloba
 
             assert($iniSettings !== false);
 
+            /* @phpstan-ignore assign.propertyType */
             $this->iniSettings = $iniSettings;
         }
 
@@ -238,6 +239,7 @@ private function snapshotConstants(): void
         $constants = get_defined_constants(true);
 
         if (isset($constants['user'])) {
+            /* @phpstan-ignore assign.propertyType */
             $this->constants = $constants['user'];
         }
     }
@@ -292,7 +294,7 @@ private function snapshotGlobals(): void
                 !in_array($key, $superGlobalArrays, true) &&
                 $this->canBeSerialized($GLOBALS[$key]) &&
                 !$this->excludeList->isGlobalVariableExcluded($key)) {
-                /* @noinspection UnserializeExploitsInspection */
+                /* @phpstan-ignore assign.propertyType */
                 $this->globalVariables[$key] = unserialize(serialize($GLOBALS[$key]));
             }
         }
@@ -304,7 +306,7 @@ private function snapshotSuperGlobalArray(string $superGlobalArray): void
 
         if (isset($GLOBALS[$superGlobalArray]) && is_array($GLOBALS[$superGlobalArray])) {
             foreach ($GLOBALS[$superGlobalArray] as $key => $value) {
-                /* @noinspection UnserializeExploitsInspection */
+                /* @phpstan-ignore assign.propertyType */
                 $this->superGlobalVariables[$superGlobalArray][$key] = unserialize(serialize($value));
             }
         }
@@ -396,6 +398,7 @@ private function enumerateObjectsAndResources(mixed $variable, Context $processe
     {
         $result = [];
 
+        /* @phpstan-ignore argument.type */
         if ($processed->contains($variable)) {
             return $result;
         }

tests/unit/SnapshotTest.php

@@ -53,7 +53,11 @@ public function testStaticAttributes(): void
 
     public function testStaticNotInitialisedAttributes(): void
     {
-        /* @noinspection PhpExpressionResultUnusedInspection */
+        /**
+         * @noinspection PhpExpressionResultUnusedInspection
+         *
+         * @phpstan-ignore new.resultUnused
+         */
         new SnapshotClassTyped;
 
         $this->excludeAllLoadedClassesExceptClass(SnapshotClassTyped::class);
@@ -159,7 +163,11 @@ public function testClasses(): void
 
     public function testInterfaces(): void
     {
-        /* @noinspection PhpExpressionResultUnusedInspection */
+        /**
+         * @noinspection PhpExpressionResultUnusedInspection
+         *
+         * @phpstan-ignore new.resultUnused
+         */
         new ExcludedClass;
 
         $snapshot   = new Snapshot($this->excludeList, false, false, false, false, false, true, false, false, false);