The ReflectionClassConstructorThrowTypeExtension can be improved to support object.

[VincentLanglet]

Feature request

The ReflectionClassConstructorThrowTypeExtension only check for constantString

So

new \ReflectionClass(Foo::class);

is not throwing an exception.

But

new \ReflectionClass(new Foo());

does.

The Extension is doing

foreach (TypeUtils::getConstantStrings($valueType) as $constantString) {
     if (!$this->reflectionProvider->hasClass($constantString->getValue())) {
          return $methodReflection->getThrowType();
     }

     $valueType = TypeCombinator::remove($valueType, $constantString);
}

checking for Bar::class|Foo::class|...

What would be the equivalent way to check for Bar|Foo|... @ondrejmirtes ? I can do the PR.

[ondrejmirtes]

The extension should return null if (new ObjectWithoutClassType())->isSuperTypeOf($valueType)->yes().

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.