Fixed internal error with LevelDB stub

ondrejmirtes · ondrejmirtes · commit 6bd522c3707b · 2020-01-12T13:21:43.000+01:00
diff --git a/composer.json b/composer.json
@@ -15,7 +15,7 @@
 		"nette/schema": "^1.0",
 		"nette/utils": "^3.0",
 		"nikic/php-parser": "^4.3.0",
-		"ondrejmirtes/better-reflection": "^3.5.4",
+		"ondrejmirtes/better-reflection": "^3.5.5",
 		"phpstan/phpdoc-parser": "^0.4.2",
 		"symfony/console": "^4.3",
 		"symfony/finder": "^4.3"
diff --git a/tests/PHPStan/Analyser/AnalyserIntegrationTest.php b/tests/PHPStan/Analyser/AnalyserIntegrationTest.php
@@ -195,6 +195,12 @@ public function testPropertyAssignIntersectionStaticTypeBug(): void
 		$this->assertCount(0, $errors);
 	}
 
+	public function testBug2823(): void
+	{
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-2823.php');
+		$this->assertCount(0, $errors);
+	}
+
 	/**
 	 * @param string $file
 	 * @return \PHPStan\Analyser\Error[]
diff --git a/tests/PHPStan/Analyser/data/bug-2823.php b/tests/PHPStan/Analyser/data/bug-2823.php
@@ -0,0 +1,13 @@
+<?php declare(strict_types = 1);
+
+namespace Bug2823;
+
+class Foo
+{
+
+	public function sayHello(): void
+	{
+		var_dump(new \LevelDB("./somedir"));
+	}
+
+}
