From ace100c545352a3d37caf508ba683b769ff2f4bb Mon Sep 17 00:00:00 2001 From: Ondrej Mirtes Date: Mon, 8 Mar 2021 22:47:03 +0100 Subject: [PATCH] Fix --- src/Type/BenevolentUnionType.php | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/Type/BenevolentUnionType.php b/src/Type/BenevolentUnionType.php index 6922f600ec..117581bcde 100644 --- a/src/Type/BenevolentUnionType.php +++ b/src/Type/BenevolentUnionType.php @@ -84,4 +84,13 @@ public function traverse(callable $cb): Type return $this; } + /** + * @param mixed[] $properties + * @return Type + */ + public static function __set_state(array $properties): Type + { + return new self($properties['types']); + } + }