Fix BC break

Author: ondrejmirtes

src/Type/Generic/GenericObjectType.php

@@ -198,9 +198,11 @@ private function isSuperTypeOfInternal(Type $type, bool $acceptsContext): IsSupe
 			$thisVariance = $this->variances[$i] ?? TemplateTypeVariance::createInvariant();
 			$ancestorVariance = $ancestor->variances[$i] ?? TemplateTypeVariance::createInvariant();
 			if (!$thisVariance->invariant()) {
-				$results[] = $thisVariance->isValidVarianceWithReason($templateType, $this->types[$i], $ancestor->types[$i]);
+				$result = $thisVariance->isValidVarianceWithReason($templateType, $this->types[$i], $ancestor->types[$i]);
+				$results[] = new IsSuperTypeOfResult($result->result, $result->reasons);
 			} else {
-				$results[] = $templateType->isValidVarianceWithReason($this->types[$i], $ancestor->types[$i]);
+				$result = $templateType->isValidVarianceWithReason($this->types[$i], $ancestor->types[$i]);
+				$results[] = new IsSuperTypeOfResult($result->result, $result->reasons);
 			}
 
 			$results[] = IsSuperTypeOfResult::createFromBoolean($thisVariance->validPosition($ancestorVariance));

src/Type/Generic/TemplateType.php

@@ -3,8 +3,8 @@
 namespace PHPStan\Type\Generic;
 
 use PHPStan\TrinaryLogic;
+use PHPStan\Type\AcceptsResult;
 use PHPStan\Type\CompoundType;
-use PHPStan\Type\IsSuperTypeOfResult;
 use PHPStan\Type\Type;
 
 /** @api */
@@ -24,7 +24,7 @@ public function isArgument(): bool;
 
 	public function isValidVariance(Type $a, Type $b): TrinaryLogic;
 
-	public function isValidVarianceWithReason(Type $a, Type $b): IsSuperTypeOfResult;
+	public function isValidVarianceWithReason(Type $a, Type $b): AcceptsResult;
 
 	public function getVariance(): TemplateTypeVariance;
 

src/Type/Generic/TemplateTypeTrait.php

@@ -99,7 +99,7 @@ public function isValidVariance(Type $a, Type $b): TrinaryLogic
 		return $this->isValidVarianceWithReason($a, $b)->result;
 	}
 
-	public function isValidVarianceWithReason(Type $a, Type $b): IsSuperTypeOfResult
+	public function isValidVarianceWithReason(Type $a, Type $b): AcceptsResult
 	{
 		return $this->variance->isValidVarianceWithReason($this, $a, $b);
 	}

src/Type/Generic/TemplateTypeVariance.php

@@ -5,6 +5,7 @@
 use PHPStan\PhpDocParser\Ast\Type\GenericTypeNode;
 use PHPStan\ShouldNotHappenException;
 use PHPStan\TrinaryLogic;
+use PHPStan\Type\AcceptsResult;
 use PHPStan\Type\BenevolentUnionType;
 use PHPStan\Type\IsSuperTypeOfResult;
 use PHPStan\Type\MixedType;
@@ -134,30 +135,30 @@ public function isValidVariance(Type $a, Type $b): TrinaryLogic
 		return $this->isValidVarianceWithReason(null, $a, $b)->result;
 	}
 
-	public function isValidVarianceWithReason(?TemplateType $templateType, Type $a, Type $b): IsSuperTypeOfResult
+	public function isValidVarianceWithReason(?TemplateType $templateType, Type $a, Type $b): AcceptsResult
 	{
 		if ($b instanceof NeverType) {
-			return IsSuperTypeOfResult::createYes();
+			return AcceptsResult::createYes();
 		}
 
 		if ($a instanceof MixedType && !$a instanceof TemplateType) {
-			return IsSuperTypeOfResult::createYes();
+			return AcceptsResult::createYes();
 		}
 
 		if ($a instanceof BenevolentUnionType) {
 			if (!$a->isSuperTypeOf($b)->no()) {
-				return IsSuperTypeOfResult::createYes();
+				return AcceptsResult::createYes();
 			}
 		}
 
 		if ($b instanceof BenevolentUnionType) {
 			if (!$b->isSuperTypeOf($a)->no()) {
-				return IsSuperTypeOfResult::createYes();
+				return AcceptsResult::createYes();
 			}
 		}
 
 		if ($b instanceof MixedType && !$b instanceof TemplateType) {
-			return IsSuperTypeOfResult::createYes();
+			return AcceptsResult::createYes();
 		}
 
 		if ($this->invariant()) {
@@ -177,19 +178,19 @@ public function isValidVarianceWithReason(?TemplateType $templateType, Type $a,
 				}
 			}
 
-			return new IsSuperTypeOfResult(TrinaryLogic::createFromBoolean($result), $reasons);
+			return new AcceptsResult(TrinaryLogic::createFromBoolean($result), $reasons);
 		}
 
 		if ($this->covariant()) {
-			return $a->isSuperTypeOfWithReason($b);
+			return $a->isSuperTypeOfWithReason($b)->toAcceptsResult();
 		}
 
 		if ($this->contravariant()) {
-			return $b->isSuperTypeOfWithReason($a);
+			return $b->isSuperTypeOfWithReason($a)->toAcceptsResult();
 		}
 
 		if ($this->bivariant()) {
-			return IsSuperTypeOfResult::createYes();
+			return AcceptsResult::createYes();
 		}
 
 		throw new ShouldNotHappenException();