cover object type

phpstan · Sep 20, 2022 · a500f22 · a500f22
1 parent c2c29de
commit a500f22
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 2 deletions.
diff --git a/src/Reflection/InitializerExprTypeResolver.php b/src/Reflection/InitializerExprTypeResolver.php
@@ -1742,7 +1742,10 @@ static function (Type $type, callable $traverse): Type {
 							new AccessoryLiteralStringType(),
 						);
 					} elseif ((new ObjectWithoutClassType())->isSuperTypeOf($type)->yes()) {
-						return new ClassStringType();
+						return TypeCombinator::intersect(
+							new ClassStringType(),
+							new AccessoryLiteralStringType(),
+						);
 					}
 
 					return new ErrorType();

diff --git a/tests/PHPStan/Analyser/data/bug-5843.php b/tests/PHPStan/Analyser/data/bug-5843.php
@@ -9,7 +9,7 @@ class Foo
 
 	function doFoo(object $object): void
 	{
-		assertType('class-string', $object::class);
+		assertType('class-string&literal-string', $object::class);
 		switch ($object::class) {
 			case \DateTime::class:
 				assertType(\DateTime::class, $object);

diff --git a/tests/PHPStan/Rules/Functions/data/bug-7823.php b/tests/PHPStan/Rules/Functions/data/bug-7823.php
@@ -45,3 +45,11 @@ function z($t): void
 	sayHello($t::class);
 }
 
+/**
+ * @param object $o
+ */
+function a($o): void
+{
+	assertType('class-string&literal-string', $o::class);
+	sayHello($o::class);
+}