Merge branch '7.0'

sebastianbergmann · Jan 16, 2025 · 8a089e5 · 8a089e5
2 parents aa72c2d + 5a559a8
commit 8a089e5
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/Snapshot.php b/src/Snapshot.php
@@ -239,7 +239,6 @@ private function snapshotConstants(): void
         $constants = get_defined_constants(true);
 
         if (isset($constants['user'])) {
-            /* @phpstan-ignore assign.propertyType */
             $this->constants = $constants['user'];
         }
     }