IterableType - fix getReferencedTemplateTypes again

ondrejmirtes · ondrejmirtes · commit cf2107dd5cb0 · 2023-02-12T09:32:38.000+01:00
diff --git a/src/Type/IterableType.php b/src/Type/IterableType.php
@@ -358,9 +358,11 @@ public function inferTemplateTypes(Type $receivedType): TemplateTypeMap
 
 	public function getReferencedTemplateTypes(TemplateTypeVariance $positionVariance): array
 	{
+		$variance = $positionVariance->compose(TemplateTypeVariance::createCovariant());
+		
 		return array_merge(
-			$this->getIterableKeyType()->getReferencedTemplateTypes($positionVariance),
-			$this->getIterableValueType()->getReferencedTemplateTypes($positionVariance),
+			$this->getIterableKeyType()->getReferencedTemplateTypes($variance),
+			$this->getIterableValueType()->getReferencedTemplateTypes($variance),
 		);
 	}
 

Original file line number	Diff line number	Diff line change
`@@ -358,9 +358,11 @@ public function inferTemplateTypes(Type $receivedType): TemplateTypeMap`
`358`	`358`
`359`	`359`	`public function getReferencedTemplateTypes(TemplateTypeVariance $positionVariance): array`
`360`	`360`	`{`
	`361`	`+ $variance = $positionVariance->compose(TemplateTypeVariance::createCovariant());`
	`362`	`+`
`361`	`363`	`return array_merge(`
`362`		`- $this->getIterableKeyType()->getReferencedTemplateTypes($positionVariance),`
`363`		`- $this->getIterableValueType()->getReferencedTemplateTypes($positionVariance),`
	`364`	`+ $this->getIterableKeyType()->getReferencedTemplateTypes($variance),`
	`365`	`+ $this->getIterableValueType()->getReferencedTemplateTypes($variance),`
`364`	`366`	`);`
`365`	`367`	`}`
`366`	`368`