added PHPStan baseline

Author: dg

composer.json

@@ -21,7 +21,7 @@
 	"require-dev": {
 		"nette/tester": "^2.5",
 		"tracy/tracy": "^2.9",
-		"phpstan/phpstan-nette": "^2.0@stable"
+		"phpstan/phpstan": "^2.0@stable"
 	},
 	"autoload": {
 		"classmap": ["src/"],

phpstan-baseline.neon

@@ -0,0 +1,43 @@
+parameters:
+	ignoreErrors:
+		-
+			message: '#^Property Nette\\ComponentModel\\Component\:\:\$monitors \(array\<''''\|class\-string\<Nette\\ComponentModel\\IComponent\>, array\{Nette\\ComponentModel\\IComponent\|null, int\|null, string\|null, array\{list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>, list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>\}\|null\}\>\) does not accept array\<''''\|class\-string\<Nette\\ComponentModel\\IComponent\>, array\{3\: array\{list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>, list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>\}\}\|array\{Nette\\ComponentModel\\IComponent\|null, int\|null, string\|null, array\{list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>, list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>\}\|null\}\>\.$#'
+			identifier: assign.propertyType
+			count: 2
+			path: src/ComponentModel/Component.php
+
+		-
+			message: '#^Property Nette\\ComponentModel\\Component\:\:\$monitors \(array\<''''\|class\-string\<Nette\\ComponentModel\\IComponent\>, array\{Nette\\ComponentModel\\IComponent\|null, int\|null, string\|null, array\{list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>, list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>\}\|null\}\>\) does not accept non\-empty\-array\<''''\|class\-string\<Nette\\ComponentModel\\IComponent\>, array\{3\: array\{list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>, list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>\}\}\|array\{Nette\\ComponentModel\\IComponent\|null, int\|null, string\|null, array\{list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>, list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>\}\|null\}\>\.$#'
+			identifier: assign.propertyType
+			count: 1
+			path: src/ComponentModel/Component.php
+
+		-
+			message: '#^Property Nette\\ComponentModel\\Component\:\:\$monitors \(array\<''''\|class\-string\<Nette\\ComponentModel\\IComponent\>, array\{Nette\\ComponentModel\\IComponent\|null, int\|null, string\|null, array\{list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>, list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>\}\|null\}\>\) does not accept non\-empty\-array\<''''\|class\-string\<Nette\\ComponentModel\\IComponent\>, array\{3\: array\{list\<Closure\(T\)\: void\>, non\-empty\-list\<Closure\(T\)\: void\>\}\}\|array\{Nette\\ComponentModel\\IComponent\|null, int\|null, string\|null, array\{list\<Closure\(T\)\: void\>, list\<Closure\(T\)\: void\>\}\|null\}\>\.$#'
+			identifier: assign.propertyType
+			count: 1
+			path: src/ComponentModel/Component.php
+
+		-
+			message: '#^Property Nette\\ComponentModel\\Component\:\:\$monitors \(array\<''''\|class\-string\<Nette\\ComponentModel\\IComponent\>, array\{Nette\\ComponentModel\\IComponent\|null, int\|null, string\|null, array\{list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>, list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>\}\|null\}\>\) does not accept non\-empty\-array\<''''\|class\-string\<Nette\\ComponentModel\\IComponent\>, array\{3\: array\{non\-empty\-list\<Closure\(T\)\: void\>, list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>\}\}\|array\{Nette\\ComponentModel\\IComponent\|null, int\|null, string\|null, array\{list\<Closure\(T\)\: void\>, list\<Closure\(Nette\\ComponentModel\\IComponent\)\: void\>\}\|null\}\>\.$#'
+			identifier: assign.propertyType
+			count: 1
+			path: src/ComponentModel/Component.php
+
+		-
+			message: '#^Method Nette\\ComponentModel\\Container\:\:getComponents\(\) should return array\<int\|string, Nette\\ComponentModel\\IComponent\> but returns CallbackFilterIterator\<mixed, mixed, RecursiveIteratorIterator\<Nette\\ComponentModel\\RecursiveComponentIterator\>\>\|RecursiveIteratorIterator\<Nette\\ComponentModel\\RecursiveComponentIterator\>\.$#'
+			identifier: return.type
+			count: 1
+			path: src/ComponentModel/Container.php
+
+		-
+			message: '#^Method Nette\\ComponentModel\\IContainer\:\:getComponent\(\) invoked with 2 parameters, 1 required\.$#'
+			identifier: arguments.count
+			count: 1
+			path: src/ComponentModel/Container.php
+
+		-
+			message: '#^Call to an undefined method Nette\\ComponentModel\\IComponent\:\:getComponents\(\)\.$#'
+			identifier: method.notFound
+			count: 1
+			path: src/ComponentModel/RecursiveComponentIterator.php

phpstan.neon

@@ -4,3 +4,8 @@ parameters:
 	paths:
 		- src
 		- tests/types
+
+	checkMissingCallableSignature: true
+
+includes:
+	- phpstan-baseline.neon

src/ComponentModel/Component.php

@@ -242,6 +242,7 @@ private function refreshMonitors(int $depth, ?array &$missing = null, array &$li
 		if ($missing === null) { // detaching
 			foreach ($this->monitors as $type => [$ancestor, $inDepth, , $callbacks]) {
 				if (isset($inDepth) && $inDepth > $depth) { // only process if ancestor was deeper than current detachment point
+					assert($ancestor !== null);
 					if ($callbacks) {
 						$this->monitors[$type] = [null, null, null, $callbacks]; // clear cached object, keep listener registrations
 						foreach ($callbacks[1] as $detached) {
@@ -265,6 +266,7 @@ private function refreshMonitors(int $depth, ?array &$missing = null, array &$li
 
 				} else { // need to check if ancestor exists
 					unset($this->monitors[$type]); // force fresh lookup
+					assert($type !== '');
 					if ($ancestor = $this->lookup($type, throw: false)) {
 						foreach ($callbacks[0] as $attached) {
 							$listeners[] = [$attached, $ancestor];