Don't use PhpStorm stubs for Ds\\ extension

phpstan · Jun 14, 2020 · 13d0f3d · 13d0f3d
1 parent 781016e
commit 13d0f3d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Reflection/ReflectionProvider/ClassBlacklistReflectionProvider.php b/src/Reflection/ReflectionProvider/ClassBlacklistReflectionProvider.php
@@ -37,7 +37,7 @@ public function __construct(
 
 	public function hasClass(string $className): bool
 	{
-		if ($this->phpStormStubsSourceStubber->hasClass($className) && $className !== \Generator::class) {
+		if ($this->phpStormStubsSourceStubber->hasClass($className) && $className !== \Generator::class && strpos($className, 'Ds\\') !== 0) {
 			// check that userland class isn't aliased to the same name as a class from stubs
 			if (!class_exists($className, false)) {
 				return false;