HasOffsetValueType - fix traverse

ondrejmirtes · ondrejmirtes · commit 5b448a7dce06 · 2022-09-07T15:12:51.000+02:00
diff --git a/src/Type/Accessory/HasOffsetValueType.php b/src/Type/Accessory/HasOffsetValueType.php
@@ -215,7 +215,12 @@ public function toArray(): Type
 
 	public function traverse(callable $cb): Type
 	{
-		return $this;
+		$newValueType = $cb($this->valueType);
+		if ($newValueType === $this->valueType) {
+			return $this;
+		}
+
+		return new self($this->offsetType, $newValueType);
 	}
 
 	public static function __set_state(array $properties): Type

Original file line number	Diff line number	Diff line change
`@@ -215,7 +215,12 @@ public function toArray(): Type`
`215`	`215`
`216`	`216`	`public function traverse(callable $cb): Type`
`217`	`217`	`{`
`218`		`- return $this;`
	`218`	`+ $newValueType = $cb($this->valueType);`
	`219`	`+ if ($newValueType === $this->valueType) {`
	`220`	`+ return $this;`
	`221`	`+ }`
	`222`	`+`
	`223`	`+ return new self($this->offsetType, $newValueType);`
`219`	`224`	`}`
`220`	`225`
`221`	`226`	`public static function __set_state(array $properties): Type`