Remove annotation that is no longer needed

sebastianbergmann · sebastianbergmann · commit c1d9de102223 · 2024-09-27T06:58:43.000+02:00
diff --git a/src/TextUI/Configuration/SourceMapper.php b/src/TextUI/Configuration/SourceMapper.php
@@ -31,7 +31,6 @@ final class SourceMapper
     public function map(Source $source): array
     {
         if (self::$files === null) {
-            /** @phpstan-ignore assign.propertyType */
             self::$files = new SplObjectStorage;
         }
 

Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,6 @@ final class SourceMapper`
`31`	`31`	`public function map(Source $source): array`
`32`	`32`	`{`
`33`	`33`	`if (self::$files === null) {`
`34`		`- /** @phpstan-ignore assign.propertyType */`
`35`	`34`	`self::$files = new SplObjectStorage;`
`36`	`35`	`}`
`37`	`36`