Add comment explaining isSuperTypeOf guard in IntersectionType::isAcceptedBy()

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

src/Type/IntersectionType.php

@@ -304,6 +304,10 @@ public function isAcceptedBy(Type $acceptingType, bool $strictTypes): AcceptsRes
 			static fn (Type $innerType) => $acceptingType->accepts($innerType, $strictTypes),
 		);
 
+		// lazyMaxMin can short-circuit to Yes when array<mixed> (inside e.g. array&callable
+		// or array&hasOffsetValue) is accepted by a specific array type like array<int>,
+		// because MixedType::isAcceptedBy() always returns Yes. The isSuperTypeOf check
+		// considers the intersection holistically and catches these false positives.
 		if ($result->yes()) {
 			$isSuperType = $acceptingType->isSuperTypeOf($this);
 			if ($isSuperType->no()) {