UnionType - carry information that it's normalized

Author: ondrejmirtes

src/Type/TypeCombinator.php

@@ -371,7 +371,7 @@ public static function union(Type ...$types): Type
 			}
 		}
 
-		return new UnionType($types);
+		return new UnionType($types, true);
 	}
 
 	/**

src/Type/UnionType.php

@@ -42,7 +42,7 @@ class UnionType implements CompoundType
 	 * @api
 	 * @param Type[] $types
 	 */
-	public function __construct(private array $types)
+	public function __construct(private array $types, private bool $normalized = false)
 	{
 		$throwException = static function () use ($types): void {
 			throw new ShouldNotHappenException(sprintf(
@@ -74,6 +74,11 @@ public function getTypes(): array
 		return $this->types;
 	}
 
+	public function isNormalized(): bool
+	{
+		return $this->normalized;
+	}
+
 	/**
 	 * @return Type[]
 	 */
@@ -836,7 +841,7 @@ public function tryRemove(Type $typeToRemove): ?Type
 	 */
 	public static function __set_state(array $properties): Type
 	{
-		return new self($properties['types']);
+		return new self($properties['types'], $properties['normalized']);
 	}
 
 	/**