TASK: Remove @phpstan-ignore-next-line by asserting that an array is indeed associative (0 cost in production)

Sadly we cant annotate the param in the constructor to tell psalm, that we only want to accept string keys.
At least i have found no way

Author: mhsdesign

src/TypeSystem/Inferrer/InferredTypes.php

@@ -35,7 +35,7 @@ class InferredTypes
     private function __construct(
         TypeInterface ...$types
     ) {
-        // @phpstan-ignore-next-line
+        assert(self::isAssociativeArray($types), '$types must be an associative array');
         $this->types = $types;
     }
 
@@ -53,4 +53,20 @@ public function getType(string $identifierName): ?TypeInterface
     {
         return $this->types[$identifierName] ?? null;
     }
+
+    /**
+     * @template T
+     * @param array<string|int,T> $array
+     * @phpstan-assert-if-true array<string,T> $array
+     */
+    private static function isAssociativeArray(array $array): bool
+    {
+        foreach ($array as $key => $value) {
+            if (is_string($key)) {
+                continue;
+            }
+            return false;
+        }
+        return true;
+    }
 }