Added ClassStringLiteralType

src/ClassStringLiteralType.php

@@ -0,0 +1,35 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Typhoon\Type;
+
+/**
+ * @api
+ * @psalm-immutable
+ * @template-covariant TClass of class-string
+ * @implements Type<TClass>
+ */
+final class ClassStringLiteralType implements Type
+{
+    /**
+     * @var TClass
+     */
+    public readonly string $class;
+
+    /**
+     * @internal
+     * @psalm-internal Typhoon\Type
+     * @param TClass $class
+     */
+    public function __construct(
+        string $class,
+    ) {
+        $this->class = $class;
+    }
+
+    public function accept(TypeVisitor $visitor): mixed
+    {
+        return $visitor->visitClassStringLiteral($this);
+    }
+}

src/TypeVisitor.php

@@ -62,6 +62,9 @@ public function visitLiteralString(LiteralStringType $type): mixed;
     /** @return TReturn */
     public function visitNumericString(NumericStringType $type): mixed;
 
+    /** @return TReturn */
+    public function visitClassStringLiteral(ClassStringLiteralType $type): mixed;
+
     /** @return TReturn */
     public function visitNamedClassString(NamedClassStringType $type): mixed;
 

src/types.php

@@ -166,6 +166,17 @@ public static function stringLiteral(string $value): StringLiteralType
         return new StringLiteralType($value);
     }
 
+    /**
+     * @psalm-pure
+     * @template TClass of class-string
+     * @param TClass $class
+     * @return ClassStringLiteralType<TClass>
+     */
+    public static function classStringLiteral(string $class): ClassStringLiteralType
+    {
+        return new ClassStringLiteralType($class);
+    }
+
     /**
      * @psalm-pure
      * @template TObject of object

tests/psalm/ClassStringLiteralTest.php

@@ -0,0 +1,11 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Typhoon\Type\ClassStringLiteralTest;
+
+use Typhoon\Type\ClassStringLiteralType;
+use function Typhoon\Type\extractType;
+
+/** @psalm-check-type-exact $_classLiteral = stdClass::class */
+$_classLiteral = extractType(new ClassStringLiteralType(\stdClass::class));