[BE] Countable stub with 0|positive-int

Author: ondrejmirtes

changelog-2.0.md

@@ -9,7 +9,6 @@ Bleeding edge (TODO move to other sections)
 =====================
 
 * Infer explicit mixed when instantiating generic class with unknown template types (https://github.com/phpstan/phpstan-src/commit/089d4c6fb6eb709c44123548d33990113d174b86), #6398
-* Countable stub with `0|positive-int` ([#1027](https://github.com/phpstan/phpstan-src/pull/1027)), thanks @staabm!
 * Report useless `array_filter()` calls ([#1077](https://github.com/phpstan/phpstan-src/pull/1077)), #6840, thanks @leongersen!
 * Specify explicit mixed array type via `is_array` ([#1191](https://github.com/phpstan/phpstan-src/pull/1191)), thanks @herndlm!
 * Lower memory consumption thanks to breaking up of reference cycles
@@ -147,5 +146,7 @@ Bugfixes 🐛
 Function signature fixes 🤖
 =======================
 
+* Countable stub with `0|positive-int` ([#1027](https://github.com/phpstan/phpstan-src/pull/1027)), thanks @staabm!
+
 Internals 🔍
 =====================

conf/config.neon

@@ -195,6 +195,7 @@ parameters:
 		- ../stubs/arrayFunctions.stub
 		- ../stubs/core.stub
 		- ../stubs/typeCheckingFunctions.stub
+		- ../stubs/Countable.stub
 	earlyTerminatingMethodCalls: []
 	earlyTerminatingFunctionCalls: []
 	memoryLimitFile: %tmpDir%/.memory_limit
@@ -456,13 +457,6 @@ services:
 		arguments:
 			duplicateStubs: %featureToggles.duplicateStubs%
 
-	-
-		class: PHPStan\PhpDoc\CountableStubFilesExtension
-		arguments:
-			bleedingEdge: %featureToggles.bleedingEdge%
-		tags:
-			- phpstan.stubFilesExtension
-
 	-
 		class: PHPStan\PhpDoc\SocketSelectStubFilesExtension
 		tags:

src/PhpDoc/CountableStubFilesExtension.php

@@ -3,7 +3,7 @@
 interface Countable
 {
     /**
-     * @return int
+     * @return 0|positive-int
      */
     public function count(): int;
 }