Refactor pseudo-types

src/PseudoTypes/ArrayShape.php

@@ -21,13 +21,15 @@
 use function implode;
 
 /** @psalm-immutable */
-class ArrayShape implements PseudoType
+class ArrayShape extends Array_ implements PseudoType
 {
     /** @var ArrayShapeItem[] */
     private $items;
 
     public function __construct(ArrayShapeItem ...$items)
     {
+        parent::__construct(new Mixed_(), new ArrayKey());
+
         $this->items = $items;
     }
 

src/PseudoTypes/ConstExpression.php

@@ -20,7 +20,7 @@
 use function sprintf;
 
 /** @psalm-immutable */
-final class ConstExpression implements PseudoType
+final class ConstExpression extends Mixed_ implements PseudoType
 {
     /** @var Type */
     private $owner;

src/PseudoTypes/FloatValue.php

@@ -18,7 +18,7 @@
 use phpDocumentor\Reflection\Types\Float_;
 
 /** @psalm-immutable */
-class FloatValue implements PseudoType
+class FloatValue extends Float_ implements PseudoType
 {
     /** @var float */
     private $value;

src/PseudoTypes/IntegerValue.php

@@ -18,7 +18,7 @@
 use phpDocumentor\Reflection\Types\Integer;
 
 /** @psalm-immutable */
-final class IntegerValue implements PseudoType
+final class IntegerValue extends Integer implements PseudoType
 {
     /** @var int */
     private $value;

src/PseudoTypes/ObjectShape.php

@@ -11,7 +11,7 @@
 use function implode;
 
 /** @psalm-immutable */
-final class ObjectShape implements PseudoType
+final class ObjectShape extends Object_ implements PseudoType
 {
     /** @var ObjectShapeItem[] */
     private $items;

src/PseudoTypes/StringValue.php

@@ -20,7 +20,7 @@
 use function sprintf;
 
 /** @psalm-immutable */
-class StringValue implements PseudoType
+class StringValue extends String_ implements PseudoType
 {
     /** @var string */
     private $value;