uses nette/phpstan-rules

Author: dg

composer.json

@@ -22,7 +22,9 @@
 	"require-dev": {
 		"nette/tester": "^2.6",
 		"tracy/tracy": "^2.9",
-		"phpstan/phpstan-nette": "^2.0@stable"
+		"phpstan/phpstan": "^2.1@stable",
+		"phpstan/extension-installer": "^1.4@stable",
+		"nette/phpstan-rules": "^1.0"
 	},
 	"autoload": {
 		"classmap": ["src/"],
@@ -39,5 +41,10 @@
 		"branch-alias": {
 			"dev-master": "4.1-dev"
 		}
+	},
+	"config": {
+		"allow-plugins": {
+			"phpstan/extension-installer": true
+		}
 	}
 }

tests/types/TypesTest.phpt

@@ -0,0 +1,7 @@
+<?php declare(strict_types=1);
+
+require __DIR__ . '/../bootstrap.php';
+
+use Nette\PHPStan\Tester\TypeAssert;
+
+TypeAssert::assertTypes(__DIR__ . '/robotloader-types.php');

tests/types/robotloader-types.php

@@ -0,0 +1,15 @@
+<?php declare(strict_types=1);
+
+/**
+ * PHPStan type tests.
+ */
+
+use Nette\Loaders\RobotLoader;
+use function PHPStan\Testing\assertType;
+
+
+function testGetIndexedClasses(RobotLoader $loader): void
+{
+	$result = $loader->getIndexedClasses();
+	assertType('array<class-string, string>', $result);
+}