Update CallableType.php

staabm · staabm · commit 83a62980801c · 2026-02-25T12:24:14.000+01:00
diff --git a/src/Type/CallableType.php b/src/Type/CallableType.php
@@ -204,8 +204,10 @@ public function isSubTypeOf(Type $otherType): IsSuperTypeOfResult
 			return $otherType->isSuperTypeOf($this);
 		}
 
-		return (new IsSuperTypeOfResult($otherType->isCallable(), []))
-			->and($otherType instanceof self ? IsSuperTypeOfResult::createYes() : IsSuperTypeOfResult::createMaybe());
+		return new IsSuperTypeOfResult(
+			$otherType->isCallable()->and($otherType instanceof self ? TrinaryLogic::createYes() : TrinaryLogic::createMaybe()),
+			[]
+		);
 	}
 
 	public function isAcceptedBy(Type $acceptingType, bool $strictTypes): AcceptsResult

Original file line number	Diff line number	Diff line change
`@@ -204,8 +204,10 @@ public function isSubTypeOf(Type $otherType): IsSuperTypeOfResult`
`204`	`204`	`return $otherType->isSuperTypeOf($this);`
`205`	`205`	`}`
`206`	`206`
`207`		`- return (new IsSuperTypeOfResult($otherType->isCallable(), []))`
`208`		`- ->and($otherType instanceof self ? IsSuperTypeOfResult::createYes() : IsSuperTypeOfResult::createMaybe());`
	`207`	`+ return new IsSuperTypeOfResult(`
	`208`	`+ $otherType->isCallable()->and($otherType instanceof self ? TrinaryLogic::createYes() : TrinaryLogic::createMaybe()),`
	`209`	`+ []`
	`210`	`+ );`
`209`	`211`	`}`
`210`	`212`
`211`	`213`	`public function isAcceptedBy(Type $acceptingType, bool $strictTypes): AcceptsResult`