Avoid BC break

VincentLanglet · VincentLanglet · commit b77b09709d73 · 2025-07-17T17:19:15.000+02:00
diff --git a/src/Type/Accessory/AccessoryArrayListType.php b/src/Type/Accessory/AccessoryArrayListType.php
@@ -221,7 +221,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type
 		return new MixedType();
 	}
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type
 	{
 		return new MixedType();
 	}
diff --git a/src/Type/Accessory/HasOffsetValueType.php b/src/Type/Accessory/HasOffsetValueType.php
@@ -254,8 +254,9 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type
 		return new NonEmptyArrayType();
 	}
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type
 	{
+		$strict ??= TrinaryLogic::createMaybe();
 		if (
 			$needleType instanceof ConstantScalarType && $this->valueType instanceof ConstantScalarType
 			&& (
diff --git a/src/Type/Accessory/NonEmptyArrayType.php b/src/Type/Accessory/NonEmptyArrayType.php
@@ -204,7 +204,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type
 		return $this;
 	}
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type
 	{
 		return new MixedType();
 	}
diff --git a/src/Type/Accessory/OversizedArrayType.php b/src/Type/Accessory/OversizedArrayType.php
@@ -199,7 +199,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type
 		return $this;
 	}
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type
 	{
 		return new MixedType();
 	}
diff --git a/src/Type/ArrayType.php b/src/Type/ArrayType.php
@@ -430,8 +430,9 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type
 		return $this;
 	}
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type
 	{
+		$strict ??= TrinaryLogic::createMaybe();
 		if ($strict->yes() && $this->getIterableValueType()->isSuperTypeOf($needleType)->no()) {
 			return new ConstantBooleanType(false);
 		}
diff --git a/src/Type/Constant/ConstantArrayType.php b/src/Type/Constant/ConstantArrayType.php
@@ -874,8 +874,9 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type
 		return $builder->getArray();
 	}
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type
 	{
+		$strict ??= TrinaryLogic::createMaybe();
 		$matches = [];
 		$hasIdenticalValue = false;
 
diff --git a/src/Type/IntersectionType.php b/src/Type/IntersectionType.php
@@ -891,7 +891,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type
 		return $this->intersectTypes(static fn (Type $type): Type => $type->reverseArray($preserveKeys));
 	}
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type
 	{
 		return $this->intersectTypes(static fn (Type $type): Type => $type->searchArray($needleType, $strict));
 	}
diff --git a/src/Type/MixedType.php b/src/Type/MixedType.php
@@ -257,7 +257,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type
 		return new ArrayType(new MixedType($this->isExplicitMixed), new MixedType($this->isExplicitMixed));
 	}
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type
 	{
 		if ($this->isArray()->no()) {
 			return new ErrorType();
diff --git a/src/Type/NeverType.php b/src/Type/NeverType.php
@@ -318,7 +318,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type
 		return new NeverType();
 	}
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type
 	{
 		return new NeverType();
 	}
diff --git a/src/Type/StaticType.php b/src/Type/StaticType.php
@@ -440,7 +440,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type
 		return $this->getStaticObjectType()->reverseArray($preserveKeys);
 	}
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type
 	{
 		return $this->getStaticObjectType()->searchArray($needleType, $strict);
 	}
diff --git a/src/Type/Traits/LateResolvableTypeTrait.php b/src/Type/Traits/LateResolvableTypeTrait.php
@@ -293,7 +293,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type
 		return $this->resolve()->reverseArray($preserveKeys);
 	}
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type
 	{
 		return $this->resolve()->searchArray($needleType, $strict);
 	}
diff --git a/src/Type/Traits/MaybeArrayTypeTrait.php b/src/Type/Traits/MaybeArrayTypeTrait.php
@@ -84,7 +84,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type
 		return new ErrorType();
 	}
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type
 	{
 		return new ErrorType();
 	}
diff --git a/src/Type/Traits/NonArrayTypeTrait.php b/src/Type/Traits/NonArrayTypeTrait.php
@@ -84,7 +84,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type
 		return new ErrorType();
 	}
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type
 	{
 		return new ErrorType();
 	}
diff --git a/src/Type/Type.php b/src/Type/Type.php
@@ -152,7 +152,7 @@ public function popArray(): Type;
 
 	public function reverseArray(TrinaryLogic $preserveKeys): Type;
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type;
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type;
 
 	public function shiftArray(): Type;
 
diff --git a/src/Type/UnionType.php b/src/Type/UnionType.php
@@ -776,7 +776,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type
 		return $this->unionTypes(static fn (Type $type): Type => $type->reverseArray($preserveKeys));
 	}
 
-	public function searchArray(Type $needleType, TrinaryLogic $strict): Type
+	public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type
 	{
 		return $this->unionTypes(static fn (Type $type): Type => $type->searchArray($needleType, $strict));
 	}

Original file line number	Diff line number	Diff line change
`@@ -221,7 +221,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type`
`221`	`221`	`return new MixedType();`
`222`	`222`	`}`
`223`	`223`
`224`		`- public function searchArray(Type $needleType, TrinaryLogic $strict): Type`
	`224`	`+ public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type`
`225`	`225`	`{`
`226`	`226`	`return new MixedType();`
`227`	`227`	`}`
Original file line number	Diff line number	Diff line change
`@@ -254,8 +254,9 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type`
`254`	`254`	`return new NonEmptyArrayType();`
`255`	`255`	`}`
`256`	`256`
`257`		`- public function searchArray(Type $needleType, TrinaryLogic $strict): Type`
	`257`	`+ public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type`
`258`	`258`	`{`
	`259`	`+ $strict ??= TrinaryLogic::createMaybe();`
`259`	`260`	`if (`
`260`	`261`	`$needleType instanceof ConstantScalarType && $this->valueType instanceof ConstantScalarType`
`261`	`262`	`&& (`
Original file line number	Diff line number	Diff line change
`@@ -204,7 +204,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type`
`204`	`204`	`return $this;`
`205`	`205`	`}`
`206`	`206`
`207`		`- public function searchArray(Type $needleType, TrinaryLogic $strict): Type`
	`207`	`+ public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type`
`208`	`208`	`{`
`209`	`209`	`return new MixedType();`
`210`	`210`	`}`
Original file line number	Diff line number	Diff line change
`@@ -199,7 +199,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type`
`199`	`199`	`return $this;`
`200`	`200`	`}`
`201`	`201`
`202`		`- public function searchArray(Type $needleType, TrinaryLogic $strict): Type`
	`202`	`+ public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type`
`203`	`203`	`{`
`204`	`204`	`return new MixedType();`
`205`	`205`	`}`
Original file line number	Diff line number	Diff line change
`@@ -430,8 +430,9 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type`
`430`	`430`	`return $this;`
`431`	`431`	`}`
`432`	`432`
`433`		`- public function searchArray(Type $needleType, TrinaryLogic $strict): Type`
	`433`	`+ public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type`
`434`	`434`	`{`
	`435`	`+ $strict ??= TrinaryLogic::createMaybe();`
`435`	`436`	`if ($strict->yes() && $this->getIterableValueType()->isSuperTypeOf($needleType)->no()) {`
`436`	`437`	`return new ConstantBooleanType(false);`
`437`	`438`	`}`
Original file line number	Diff line number	Diff line change
`@@ -874,8 +874,9 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type`
`874`	`874`	`return $builder->getArray();`
`875`	`875`	`}`
`876`	`876`
`877`		`- public function searchArray(Type $needleType, TrinaryLogic $strict): Type`
	`877`	`+ public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type`
`878`	`878`	`{`
	`879`	`+ $strict ??= TrinaryLogic::createMaybe();`
`879`	`880`	`$matches = [];`
`880`	`881`	`$hasIdenticalValue = false;`
`881`	`882`
Original file line number	Diff line number	Diff line change
`@@ -891,7 +891,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type`
`891`	`891`	`return $this->intersectTypes(static fn (Type $type): Type => $type->reverseArray($preserveKeys));`
`892`	`892`	`}`
`893`	`893`
`894`		`- public function searchArray(Type $needleType, TrinaryLogic $strict): Type`
	`894`	`+ public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type`
`895`	`895`	`{`
`896`	`896`	`return $this->intersectTypes(static fn (Type $type): Type => $type->searchArray($needleType, $strict));`
`897`	`897`	`}`
Original file line number	Diff line number	Diff line change
`@@ -257,7 +257,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type`
`257`	`257`	`return new ArrayType(new MixedType($this->isExplicitMixed), new MixedType($this->isExplicitMixed));`
`258`	`258`	`}`
`259`	`259`
`260`		`- public function searchArray(Type $needleType, TrinaryLogic $strict): Type`
	`260`	`+ public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type`
`261`	`261`	`{`
`262`	`262`	`if ($this->isArray()->no()) {`
`263`	`263`	`return new ErrorType();`
Original file line number	Diff line number	Diff line change
`@@ -318,7 +318,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type`
`318`	`318`	`return new NeverType();`
`319`	`319`	`}`
`320`	`320`
`321`		`- public function searchArray(Type $needleType, TrinaryLogic $strict): Type`
	`321`	`+ public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type`
`322`	`322`	`{`
`323`	`323`	`return new NeverType();`
`324`	`324`	`}`
Original file line number	Diff line number	Diff line change
`@@ -440,7 +440,7 @@ public function reverseArray(TrinaryLogic $preserveKeys): Type`
`440`	`440`	`return $this->getStaticObjectType()->reverseArray($preserveKeys);`
`441`	`441`	`}`
`442`	`442`
`443`		`- public function searchArray(Type $needleType, TrinaryLogic $strict): Type`
	`443`	`+ public function searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type`
`444`	`444`	`{`
`445`	`445`	`return $this->getStaticObjectType()->searchArray($needleType, $strict);`
`446`	`446`	`}`