fix covariance x contravariance composition

jiripudil · ondrejmirtes · commit ece68e7e7875 · 2022-12-05T21:31:13.000+01:00
diff --git a/src/Type/Generic/TemplateTypeVariance.php b/src/Type/Generic/TemplateTypeVariance.php
@@ -85,7 +85,7 @@ public function compose(self $other): self
 
 		if ($this->covariant()) {
 			if ($other->contravariant()) {
-				return self::createCovariant();
+				return self::createContravariant();
 			}
 			if ($other->covariant()) {
 				return self::createCovariant();

Original file line number	Diff line number	Diff line change
`@@ -85,7 +85,7 @@ public function compose(self $other): self`
`85`	`85`
`86`	`86`	`if ($this->covariant()) {`
`87`	`87`	`if ($other->contravariant()) {`
`88`		`- return self::createCovariant();`
	`88`	`+ return self::createContravariant();`
`89`	`89`	`}`
`90`	`90`	`if ($other->covariant()) {`
`91`	`91`	`return self::createCovariant();`