default to maybe

staabm · staabm · commit 82945c63975e · 2026-03-26T15:39:11.000+01:00
diff --git a/src/Reflection/ExtendedCallableFunctionVariant.php b/src/Reflection/ExtendedCallableFunctionVariant.php
@@ -37,8 +37,8 @@ public function __construct(
 		private array $usedVariables,
 		private TrinaryLogic $acceptsNamedArguments,
 		private TrinaryLogic $mustUseReturnValue,
+		private TrinaryLogic $isBuiltinCallable,
 		private ?Assertions $assertions = null,
-		private ?TrinaryLogic $isBuiltinCallable = null,
 	)
 	{
 		parent::__construct(
@@ -95,7 +95,7 @@ public function getAsserts(): Assertions
 
 	public function isBuiltin(): TrinaryLogic
 	{
-		return $this->isBuiltinCallable ?? TrinaryLogic::createNo();
+		return $this->isBuiltinCallable;
 	}
 
 }
diff --git a/src/Reflection/GenericParametersAcceptorResolver.php b/src/Reflection/GenericParametersAcceptorResolver.php
@@ -130,8 +130,8 @@ public static function resolve(array $argTypes, ParametersAcceptor $parametersAc
 				$originalParametersAcceptor->getUsedVariables(),
 				$originalParametersAcceptor->acceptsNamedArguments(),
 				$originalParametersAcceptor->mustUseReturnValue(),
-				$originalParametersAcceptor->getAsserts(),
 				$originalParametersAcceptor->isBuiltin(),
+				$originalParametersAcceptor->getAsserts(),
 			);
 		}
 
diff --git a/src/Reflection/InaccessibleMethod.php b/src/Reflection/InaccessibleMethod.php
@@ -100,7 +100,7 @@ public function getAsserts(): Assertions
 
 	public function isBuiltin(): TrinaryLogic
 	{
-		return TrinaryLogic::createNo();
+		return TrinaryLogic::createMaybe();
 	}
 
 }
diff --git a/src/Reflection/ParametersAcceptorSelector.php b/src/Reflection/ParametersAcceptorSelector.php
@@ -736,7 +736,7 @@ public static function combineAcceptors(array $acceptors): ExtendedParametersAcc
 		$usedVariables = [];
 		$acceptsNamedArguments = TrinaryLogic::createNo();
 		$mustUseReturnValue = TrinaryLogic::createMaybe();
-		$isBuiltin = TrinaryLogic::createNo();
+		$isBuiltin = TrinaryLogic::createMaybe();
 
 		foreach ($acceptors as $acceptor) {
 			$returnTypes[] = $acceptor->getReturnType();
@@ -862,7 +862,7 @@ public static function combineAcceptors(array $acceptors): ExtendedParametersAcc
 				$usedVariables,
 				$acceptsNamedArguments,
 				$mustUseReturnValue,
-				isBuiltinCallable: $isBuiltin,
+				$isBuiltin,
 			);
 		}
 
@@ -900,8 +900,8 @@ private static function wrapAcceptor(ParametersAcceptor $acceptor): ExtendedPara
 				$acceptor->getUsedVariables(),
 				$acceptor->acceptsNamedArguments(),
 				$acceptor->mustUseReturnValue(),
-				$acceptor->getAsserts(),
 				$acceptor->isBuiltin(),
+				$acceptor->getAsserts(),
 			);
 		}
 
diff --git a/src/Reflection/ResolvedFunctionVariantWithCallable.php b/src/Reflection/ResolvedFunctionVariantWithCallable.php
@@ -29,8 +29,8 @@ public function __construct(
 		private array $usedVariables,
 		private TrinaryLogic $acceptsNamedArguments,
 		private TrinaryLogic $mustUseReturnValue,
+		private TrinaryLogic $isBuiltinCallable,
 		private ?Assertions $assertions = null,
-		private ?TrinaryLogic $isBuiltinCallable = null,
 	)
 	{
 	}
@@ -127,7 +127,7 @@ public function getAsserts(): Assertions
 
 	public function isBuiltin(): TrinaryLogic
 	{
-		return $this->isBuiltinCallable ?? TrinaryLogic::createNo();
+		return $this->isBuiltinCallable;
 	}
 
 }
diff --git a/src/Reflection/TrivialParametersAcceptor.php b/src/Reflection/TrivialParametersAcceptor.php
@@ -110,7 +110,7 @@ public function getAsserts(): Assertions
 
 	public function isBuiltin(): TrinaryLogic
 	{
-		return TrinaryLogic::createNo();
+		return TrinaryLogic::createMaybe();
 	}
 
 }
diff --git a/src/Type/CallableType.php b/src/Type/CallableType.php
@@ -407,7 +407,7 @@ public function getAsserts(): Assertions
 
 	public function isBuiltin(): TrinaryLogic
 	{
-		return TrinaryLogic::createNo();
+		return TrinaryLogic::createMaybe();
 	}
 
 	public function toNumber(): Type
diff --git a/src/Type/ClosureType.php b/src/Type/ClosureType.php
@@ -140,7 +140,7 @@ public function getAsserts(): Assertions
 
 	public function isBuiltin(): TrinaryLogic
 	{
-		return TrinaryLogic::createNo();
+		return TrinaryLogic::createMaybe();
 	}
 
 	/**

Original file line number	Diff line number	Diff line change
`@@ -37,8 +37,8 @@ public function __construct(`
`37`	`37`	`private array $usedVariables,`
`38`	`38`	`private TrinaryLogic $acceptsNamedArguments,`
`39`	`39`	`private TrinaryLogic $mustUseReturnValue,`
	`40`	`+ private TrinaryLogic $isBuiltinCallable,`
`40`	`41`	`private ?Assertions $assertions = null,`
`41`		`- private ?TrinaryLogic $isBuiltinCallable = null,`
`42`	`42`	`)`
`43`	`43`	`{`
`44`	`44`	`parent::__construct(`
`@@ -95,7 +95,7 @@ public function getAsserts(): Assertions`
`95`	`95`
`96`	`96`	`public function isBuiltin(): TrinaryLogic`
`97`	`97`	`{`
`98`		`- return $this->isBuiltinCallable ?? TrinaryLogic::createNo();`
	`98`	`+ return $this->isBuiltinCallable;`
`99`	`99`	`}`
`100`	`100`
`101`	`101`	`}`
Original file line number	Diff line number	Diff line change
`@@ -130,8 +130,8 @@ public static function resolve(array $argTypes, ParametersAcceptor $parametersAc`
`130`	`130`	`$originalParametersAcceptor->getUsedVariables(),`
`131`	`131`	`$originalParametersAcceptor->acceptsNamedArguments(),`
`132`	`132`	`$originalParametersAcceptor->mustUseReturnValue(),`
`133`		`- $originalParametersAcceptor->getAsserts(),`
`134`	`133`	`$originalParametersAcceptor->isBuiltin(),`
	`134`	`+ $originalParametersAcceptor->getAsserts(),`
`135`	`135`	`);`
`136`	`136`	`}`
`137`	`137`
Original file line number	Diff line number	Diff line change
`@@ -100,7 +100,7 @@ public function getAsserts(): Assertions`
`100`	`100`
`101`	`101`	`public function isBuiltin(): TrinaryLogic`
`102`	`102`	`{`
`103`		`- return TrinaryLogic::createNo();`
	`103`	`+ return TrinaryLogic::createMaybe();`
`104`	`104`	`}`
`105`	`105`
`106`	`106`	`}`
Original file line number	Diff line number	Diff line change
`@@ -29,8 +29,8 @@ public function __construct(`
`29`	`29`	`private array $usedVariables,`
`30`	`30`	`private TrinaryLogic $acceptsNamedArguments,`
`31`	`31`	`private TrinaryLogic $mustUseReturnValue,`
	`32`	`+ private TrinaryLogic $isBuiltinCallable,`
`32`	`33`	`private ?Assertions $assertions = null,`
`33`		`- private ?TrinaryLogic $isBuiltinCallable = null,`
`34`	`34`	`)`
`35`	`35`	`{`
`36`	`36`	`}`
`@@ -127,7 +127,7 @@ public function getAsserts(): Assertions`
`127`	`127`
`128`	`128`	`public function isBuiltin(): TrinaryLogic`
`129`	`129`	`{`
`130`		`- return $this->isBuiltinCallable ?? TrinaryLogic::createNo();`
	`130`	`+ return $this->isBuiltinCallable;`
`131`	`131`	`}`
`132`	`132`
`133`	`133`	`}`
Original file line number	Diff line number	Diff line change
`@@ -110,7 +110,7 @@ public function getAsserts(): Assertions`
`110`	`110`
`111`	`111`	`public function isBuiltin(): TrinaryLogic`
`112`	`112`	`{`
`113`		`- return TrinaryLogic::createNo();`
	`113`	`+ return TrinaryLogic::createMaybe();`
`114`	`114`	`}`
`115`	`115`
`116`	`116`	`}`
Original file line number	Diff line number	Diff line change
`@@ -407,7 +407,7 @@ public function getAsserts(): Assertions`
`407`	`407`
`408`	`408`	`public function isBuiltin(): TrinaryLogic`
`409`	`409`	`{`
`410`		`- return TrinaryLogic::createNo();`
	`410`	`+ return TrinaryLogic::createMaybe();`
`411`	`411`	`}`
`412`	`412`
`413`	`413`	`public function toNumber(): Type`
Original file line number	Diff line number	Diff line change
`@@ -140,7 +140,7 @@ public function getAsserts(): Assertions`
`140`	`140`
`141`	`141`	`public function isBuiltin(): TrinaryLogic`
`142`	`142`	`{`
`143`		`- return TrinaryLogic::createNo();`
	`143`	`+ return TrinaryLogic::createMaybe();`
`144`	`144`	`}`
`145`	`145`
`146`	`146`	`/**`