MissingTypehintCheck - do not report iterable template types

Author: ondrejmirtes

src/Rules/MissingTypehintCheck.php

@@ -4,6 +4,7 @@
 
 use PHPStan\Reflection\ReflectionProvider;
 use PHPStan\Type\Generic\GenericObjectType;
+use PHPStan\Type\Generic\TemplateType;
 use PHPStan\Type\Generic\TemplateTypeHelper;
 use PHPStan\Type\MixedType;
 use PHPStan\Type\ObjectType;
@@ -57,6 +58,9 @@ public function getIterableTypesWithMissingValueTypehint(Type $type): array
 
 		$iterablesWithMissingValueTypehint = [];
 		TypeTraverser::map($type, function (Type $type, callable $traverse) use (&$iterablesWithMissingValueTypehint): Type {
+			if ($type instanceof TemplateType) {
+				return $type;
+			}
 			if ($type->isIterable()->yes()) {
 				$iterableValue = $type->getIterableValueType();
 				if ($iterableValue instanceof MixedType && !$iterableValue->isExplicitMixed()) {

tests/PHPStan/Rules/Methods/data/missing-method-parameter-typehint.php

@@ -130,3 +130,17 @@ public function acceptsCollection3(\DoctrineIntersectionTypeIsSupertypeOf\Collec
 	}
 
 }
+
+class TraversableInTemplateBound
+{
+
+	/**
+	 * @template T of \Iterator
+	 * @param T $it
+	 */
+	public function doFoo($it)
+	{
+
+	}
+
+}