Regression test

Closes #4854

tests/PHPStan/Rules/Methods/MethodSignatureRuleTest.php

@@ -340,4 +340,11 @@ public function testBug4729(): void
 		$this->analyse([__DIR__ . '/data/bug-4729.php'], []);
 	}
 
+	public function testBug4854(): void
+	{
+		$this->reportMaybes = true;
+		$this->reportStatic = true;
+		$this->analyse([__DIR__ . '/data/bug-4854.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Methods/data/bug-4854.php

@@ -0,0 +1,66 @@
+<?php
+
+namespace Bug4854;
+
+/**
+ * @extends \IteratorAggregate<int>
+ * @extends \ArrayAccess<int,int>
+ */
+interface DomainsAvailabilityInterface extends \IteratorAggregate, \ArrayAccess
+{
+	public const AVAILABLE = 1;
+	public const UNAVAILABLE = 2;
+	public const UNKNOWN = 3;
+}
+
+abstract class AbstractDomainsAvailability implements DomainsAvailabilityInterface
+{
+	/**
+	 * @var int[]
+	 */
+	protected array $domains;
+
+	/**
+	 * {@inheritdoc}
+	 */
+	public function getIterator()
+	{
+		return new \ArrayIterator($this->domains);
+	}
+
+	/**
+	 * {@inheritdoc}
+	 */
+	public function offsetSet($offset, $value): void
+	{
+		if ($offset === null) {
+			$this->domains[] = $value;
+		} else {
+			$this->domains[$offset] = $value;
+		}
+	}
+
+	/**
+	 * {@inheritdoc}
+	 */
+	public function offsetExists($offset)
+	{
+		return isset($this->domains[$offset]);
+	}
+
+	/**
+	 * {@inheritdoc}
+	 */
+	public function offsetUnset($offset): void
+	{
+		unset($this->domains[$offset]);
+	}
+
+	/**
+	 * {@inheritdoc}
+	 */
+	public function offsetGet($offset): int
+	{
+		return $this->domains[$offset];
+	}
+}