non-empty array of properties in object shape

typhoon-php · Feb 24, 2024 · dc8f72f · dc8f72f
1 parent baa8a79
commit dc8f72f
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/src/ObjectShapeType.php b/src/ObjectShapeType.php
@@ -12,7 +12,7 @@
 final class ObjectShapeType implements Type
 {
     /**
-     * @param array<string, Property> $properties
+     * @param non-empty-array<string, Property> $properties
      */
     public function __construct(
         private readonly array $properties,

diff --git a/src/TypeVisitor.php b/src/TypeVisitor.php
@@ -187,7 +187,7 @@ public function object(Type $self): mixed;
 
     /**
      * @param Type<object> $self
-     * @param array<string, Property> $properties
+     * @param non-empty-array<string, Property> $properties
      * @return TReturn
      */
     public function objectShape(Type $self, array $properties): mixed;

diff --git a/src/types.php b/src/types.php
@@ -336,6 +336,10 @@ public static function object(string $class, Type ...$templateArguments): Type
      */
     public static function objectShape(array $properties = []): Type
     {
+        if ($properties === []) {
+            return self::object;
+        }
+
         return new ObjectShapeType(array_map(
             static fn(Type|Property $property): Property => $property instanceof Type ? new Property($property) : $property,
             $properties,