use TrinaryLogic over bool

staabm · staabm · commit cee2dcdeb385 · 2025-07-17T16:10:46.000+02:00
diff --git a/src/Type/Accessory/AccessoryArrayListType.php b/src/Type/Accessory/AccessoryArrayListType.php
@@ -172,7 +172,7 @@ public function unsetOffset(Type $offsetType): Type
 		return new ErrorType();
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		return $this->getKeysArray();
 	}
diff --git a/src/Type/Accessory/HasOffsetType.php b/src/Type/Accessory/HasOffsetType.php
@@ -352,7 +352,7 @@ public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 		return new BooleanType();
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		return $this->getKeysArray();
 	}
diff --git a/src/Type/Accessory/HasOffsetValueType.php b/src/Type/Accessory/HasOffsetValueType.php
@@ -195,7 +195,7 @@ public function unsetOffset(Type $offsetType): Type
 		return $this;
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		return $this->getKeysArray();
 	}
diff --git a/src/Type/Accessory/NonEmptyArrayType.php b/src/Type/Accessory/NonEmptyArrayType.php
@@ -159,7 +159,7 @@ public function unsetOffset(Type $offsetType): Type
 		return new ErrorType();
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		return $this->getKeysArray();
 	}
diff --git a/src/Type/Accessory/OversizedArrayType.php b/src/Type/Accessory/OversizedArrayType.php
@@ -154,7 +154,7 @@ public function unsetOffset(Type $offsetType): Type
 		return new ErrorType();
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		return $this->getKeysArray();
 	}
diff --git a/src/Type/ArrayType.php b/src/Type/ArrayType.php
@@ -170,7 +170,7 @@ public function generalizeValues(): self
 		return new self($this->keyType, $this->itemType->generalize(GeneralizePrecision::lessSpecific()));
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		return $this->getKeysArray();
 	}
diff --git a/src/Type/Constant/ConstantArrayType.php b/src/Type/Constant/ConstantArrayType.php
@@ -1373,7 +1373,7 @@ private function degradeToGeneralArray(): Type
 		return $builder->getArray();
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		$keysArray = $this->getKeysOrValuesArray($this->keyTypes);
 
diff --git a/src/Type/IntersectionType.php b/src/Type/IntersectionType.php
@@ -842,7 +842,7 @@ public function unsetOffset(Type $offsetType): Type
 		return $this->intersectTypes(static fn (Type $type): Type => $type->unsetOffset($offsetType));
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		return $this->intersectTypes(static fn (Type $type): Type => $type->getKeysArrayFiltered($filterValueType, $strict));
 	}
diff --git a/src/Type/MixedType.php b/src/Type/MixedType.php
@@ -180,7 +180,7 @@ public function unsetOffset(Type $offsetType): Type
 		return $this;
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		return $this->getKeysArray();
 	}
diff --git a/src/Type/NeverType.php b/src/Type/NeverType.php
@@ -273,7 +273,7 @@ public function unsetOffset(Type $offsetType): Type
 		return new NeverType();
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		return $this->getKeysArray();
 	}
diff --git a/src/Type/Php/ArrayKeysFunctionDynamicReturnTypeExtension.php b/src/Type/Php/ArrayKeysFunctionDynamicReturnTypeExtension.php
@@ -7,6 +7,7 @@
 use PHPStan\DependencyInjection\AutowiredService;
 use PHPStan\Php\PhpVersion;
 use PHPStan\Reflection\FunctionReflection;
+use PHPStan\TrinaryLogic;
 use PHPStan\Type\DynamicFunctionReturnTypeExtension;
 use PHPStan\Type\NeverType;
 use PHPStan\Type\NullType;
@@ -41,9 +42,9 @@ public function getTypeFromFunctionCall(FunctionReflection $functionReflection,
 		if (count($functionCall->getArgs()) >= 2) {
 			$filterType = $scope->getType($functionCall->getArgs()[1]->value);
 
-			$strict = false;
+			$strict = TrinaryLogic::createNo();
 			if (count($functionCall->getArgs()) >= 3) {
-				$strict = $scope->getType($functionCall->getArgs()[2]->value)->isTrue()->yes();
+				$strict = $scope->getType($functionCall->getArgs()[2]->value)->isTrue();
 			}
 
 			return $arrayType->getKeysArrayFiltered($filterType, $strict);
diff --git a/src/Type/StaticType.php b/src/Type/StaticType.php
@@ -395,7 +395,7 @@ public function unsetOffset(Type $offsetType): Type
 		return $this->getStaticObjectType()->unsetOffset($offsetType);
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		return $this->getStaticObjectType()->getKeysArrayFiltered($filterValueType, $strict);
 	}
diff --git a/src/Type/Traits/LateResolvableTypeTrait.php b/src/Type/Traits/LateResolvableTypeTrait.php
@@ -248,7 +248,7 @@ public function unsetOffset(Type $offsetType): Type
 		return $this->resolve()->unsetOffset($offsetType);
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		return $this->resolve()->getKeysArrayFiltered($filterValueType, $strict);
 	}
diff --git a/src/Type/Traits/MaybeArrayTypeTrait.php b/src/Type/Traits/MaybeArrayTypeTrait.php
@@ -39,7 +39,7 @@ public function isList(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		return $this->getKeysArray();
 	}
diff --git a/src/Type/Traits/NonArrayTypeTrait.php b/src/Type/Traits/NonArrayTypeTrait.php
@@ -39,7 +39,7 @@ public function isList(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		return $this->getKeysArray();
 	}
diff --git a/src/Type/Type.php b/src/Type/Type.php
@@ -134,7 +134,7 @@ public function setExistingOffsetValueType(Type $offsetType, Type $valueType): T
 
 	public function unsetOffset(Type $offsetType): Type;
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type;
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type;
 
 	public function getKeysArray(): Type;
 
diff --git a/src/Type/UnionType.php b/src/Type/UnionType.php
@@ -731,7 +731,7 @@ public function unsetOffset(Type $offsetType): Type
 		return $this->unionTypes(static fn (Type $type): Type => $type->unsetOffset($offsetType));
 	}
 
-	public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type
+	public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type
 	{
 		return $this->unionTypes(static fn (Type $type): Type => $type->getKeysArrayFiltered($filterValueType, $strict));
 	}

Original file line number	Diff line number	Diff line change
`@@ -172,7 +172,7 @@ public function unsetOffset(Type $offsetType): Type`
`172`	`172`	`return new ErrorType();`
`173`	`173`	`}`
`174`	`174`
`175`		`- public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type`
	`175`	`+ public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type`
`176`	`176`	`{`
`177`	`177`	`return $this->getKeysArray();`
`178`	`178`	`}`
Original file line number	Diff line number	Diff line change
`@@ -352,7 +352,7 @@ public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType`
`352`	`352`	`return new BooleanType();`
`353`	`353`	`}`
`354`	`354`
`355`		`- public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type`
	`355`	`+ public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type`
`356`	`356`	`{`
`357`	`357`	`return $this->getKeysArray();`
`358`	`358`	`}`
Original file line number	Diff line number	Diff line change
`@@ -195,7 +195,7 @@ public function unsetOffset(Type $offsetType): Type`
`195`	`195`	`return $this;`
`196`	`196`	`}`
`197`	`197`
`198`		`- public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type`
	`198`	`+ public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type`
`199`	`199`	`{`
`200`	`200`	`return $this->getKeysArray();`
`201`	`201`	`}`
Original file line number	Diff line number	Diff line change
`@@ -159,7 +159,7 @@ public function unsetOffset(Type $offsetType): Type`
`159`	`159`	`return new ErrorType();`
`160`	`160`	`}`
`161`	`161`
`162`		`- public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type`
	`162`	`+ public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type`
`163`	`163`	`{`
`164`	`164`	`return $this->getKeysArray();`
`165`	`165`	`}`
Original file line number	Diff line number	Diff line change
`@@ -154,7 +154,7 @@ public function unsetOffset(Type $offsetType): Type`
`154`	`154`	`return new ErrorType();`
`155`	`155`	`}`
`156`	`156`
`157`		`- public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type`
	`157`	`+ public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type`
`158`	`158`	`{`
`159`	`159`	`return $this->getKeysArray();`
`160`	`160`	`}`
Original file line number	Diff line number	Diff line change
`@@ -170,7 +170,7 @@ public function generalizeValues(): self`
`170`	`170`	`return new self($this->keyType, $this->itemType->generalize(GeneralizePrecision::lessSpecific()));`
`171`	`171`	`}`
`172`	`172`
`173`		`- public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type`
	`173`	`+ public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type`
`174`	`174`	`{`
`175`	`175`	`return $this->getKeysArray();`
`176`	`176`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1373,7 +1373,7 @@ private function degradeToGeneralArray(): Type`
`1373`	`1373`	`return $builder->getArray();`
`1374`	`1374`	`}`
`1375`	`1375`
`1376`		`- public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type`
	`1376`	`+ public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type`
`1377`	`1377`	`{`
`1378`	`1378`	`$keysArray = $this->getKeysOrValuesArray($this->keyTypes);`
`1379`	`1379`
Original file line number	Diff line number	Diff line change
`@@ -842,7 +842,7 @@ public function unsetOffset(Type $offsetType): Type`
`842`	`842`	`return $this->intersectTypes(static fn (Type $type): Type => $type->unsetOffset($offsetType));`
`843`	`843`	`}`
`844`	`844`
`845`		`- public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type`
	`845`	`+ public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type`
`846`	`846`	`{`
`847`	`847`	`return $this->intersectTypes(static fn (Type $type): Type => $type->getKeysArrayFiltered($filterValueType, $strict));`
`848`	`848`	`}`
Original file line number	Diff line number	Diff line change
`@@ -180,7 +180,7 @@ public function unsetOffset(Type $offsetType): Type`
`180`	`180`	`return $this;`
`181`	`181`	`}`
`182`	`182`
`183`		`- public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type`
	`183`	`+ public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type`
`184`	`184`	`{`
`185`	`185`	`return $this->getKeysArray();`
`186`	`186`	`}`
Original file line number	Diff line number	Diff line change
`@@ -273,7 +273,7 @@ public function unsetOffset(Type $offsetType): Type`
`273`	`273`	`return new NeverType();`
`274`	`274`	`}`
`275`	`275`
`276`		`- public function getKeysArrayFiltered(Type $filterValueType, bool $strict): Type`
	`276`	`+ public function getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type`
`277`	`277`	`{`
`278`	`278`	`return $this->getKeysArray();`
`279`	`279`	`}`