Regression test

Author: ondrejmirtes

tests/PHPStan/Rules/Methods/OverridingMethodRuleTest.php

@@ -549,4 +549,10 @@ public function testTentativeReturnTypes(int $phpVersionId, array $errors): void
 		$this->analyse([__DIR__ . '/data/tentative-return-types.php'], $errors);
 	}
 
+	public function testCountableBug(): void
+	{
+		$this->phpVersionId = PHP_VERSION_ID;
+		$this->analyse([__DIR__ . '/data/countable-bug.php'], []);
+	}
+
 }

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

@@ -0,0 +1,16 @@
+<?php
+
+namespace CountableBug;
+
+class Foo implements \Countable
+{
+	/**
+	 * Returns the number of packages in this repository
+	 *
+	 * @return int Number of packages
+	 */
+	public function count()
+	{
+		return 1;
+	}
+}