[fix] unionTypeDecide/RequiredValueException

Author: ReallifeKip

CHANGELOG.md

@@ -1,5 +1,20 @@
 # CHANGELOG
 
+## [v4.3.2] - 2026-05-04
+
+### Fixed
+
+- **Union type sequential resolution now falls through on `RequiredValueException`.**
+When resolving a union type (e.g. `AA|BB|CC`), `unionTypeDecide()` tries each
+member in declaration order and falls through on failure. Previously only
+`InvalidValueException`, `ValidationChainException`, and `InvalidEnumValueException`
+triggered fallthrough; a missing required property in one union candidate — e.g.
+`AA::fromArray(['b' => '123'])` when `$a` is mandatory — threw `RequiredValueException`
+which propagated up instead of attempting `BB` or `CC`. `RequiredValueException` is
+now included in the catch list. This was a regression introduced in v4.0.0-rc.1 when
+the catch was narrowed from `ImmutableBaseException` to a specific exception list.
+
+
 ## [v4.3.1] - 2026-05-04
 
 ### Fixed

src/ImmutableBase.php

@@ -668,7 +668,7 @@ private static function unionTypeDecide(array $unionType, mixed $value): mixed
         foreach ($unionType['types'] as $type) {
             try {
                 return self::valueDecide($type, $value);
-            } catch (InvalidValueException | ValidationChainException | InvalidEnumValueException) {
+            } catch (InvalidValueException | ValidationChainException | InvalidEnumValueException | RequiredValueException) {
                 continue;
             }
         }
@@ -697,12 +697,12 @@ private static function valueDecide(array $type, mixed $value): mixed
         $typename = $type['typename']['string'];
         if (!$type['isBuiltin']) {
             return match (true) {
-                $value instanceof $typename                                            => $value,
-                (\is_string($value) || \is_int($value)) && $type['isEnum']             => self::analyzeEnum($typename, $value),
-                \is_array($value) && is_a($typename, self::class, true)                => $typename::fromArray($value),
-                is_a($typename, SingleValueObject::class, true) && !\is_object($value) => $typename::from($value),
+                $value instanceof $typename                                                        => $value,
+                (\is_string($value) || \is_int($value)) && $type['isEnum']                         => self::analyzeEnum($typename, $value),
+                \is_array($value) && is_a($typename, self::class, true)                            => $typename::fromArray($value),
+                is_a($typename, SingleValueObject::class, true) && !\is_object($value)             => $typename::from($value),
                 \is_string($value) && self::jsonLike($value) && is_a($typename, self::class, true) => $typename::fromJson($value),
-                default                                                                => throw new InvalidValueException($typename, $value),
+                default                                                                            => throw new InvalidValueException($typename, $value),
             };
         }
         if (