Try ?

Author: VincentLanglet

src/Type/AcceptsResult.php

@@ -195,4 +195,9 @@ public static function lazyMaxMin(
 		);
 	}
 
+	public function negate(): self
+	{
+		return new self($this->result->negate(), $this->reasons);
+	}
+
 }

src/Type/IntersectionType.php

@@ -281,10 +281,11 @@ public function isSubTypeOf(Type $otherType): IsSuperTypeOfResult
 			return $otherType->isSuperTypeOf($this);
 		}
 
+		// TODO: implement a lazyMinMax
 		$result = IsSuperTypeOfResult::lazyMaxMin(
 			$this->types,
-			static fn (Type $innerType) => $otherType->isSuperTypeOf($innerType),
-		);
+			static fn (Type $innerType) => $otherType->isSuperTypeOf($innerType)->negate(),
+		)->negate();
 
 		if (
 			!$result->no()
@@ -299,17 +300,11 @@ public function isSubTypeOf(Type $otherType): IsSuperTypeOfResult
 
 	public function isAcceptedBy(Type $acceptingType, bool $strictTypes): AcceptsResult
 	{
+		// TODO: implement a lazyMinMax
 		$result = AcceptsResult::lazyMaxMin(
 			$this->types,
-			static fn (Type $innerType) => $acceptingType->accepts($innerType, $strictTypes),
-		);
-
-		if ($result->yes()) {
-			$isSuperType = $acceptingType->isSuperTypeOf($this);
-			if ($isSuperType->no()) {
-				return $isSuperType->toAcceptsResult();
-			}
-		}
+			static fn (Type $innerType) => $acceptingType->accepts($innerType, $strictTypes)->negate(),
+		)->negate();
 
 		if ($this->isOversizedArray()->yes()) {
 			if (!$result->no()) {