Add tomasvotruba/type-coverage to dev tools

.dev-tools/composer.json

@@ -2,18 +2,19 @@
     "type": "project",
     "require": {
         "php": "^8.3",
-        "ergebnis/composer-normalize": "^2.43",
-        "infection/infection": "^0.29.6",
+        "ergebnis/composer-normalize": "^2.44",
+        "infection/infection": "^0.29.7",
         "kubawerlos/composer-smaller-lock": "^1.0.1",
         "kubawerlos/php-cs-fixer-config": "^4.0",
         "mi-schi/phpmd-extension": "^4.3",
         "phpmd/phpmd": "^2.15",
         "phpstan/extension-installer": "^1.4.3",
-        "phpstan/phpstan": "^1.12.5",
+        "phpstan/phpstan": "^1.12.6",
         "phpstan/phpstan-phpunit": "^1.4",
         "phpstan/phpstan-strict-rules": "^1.6.1",
         "shipmonk/composer-dependency-analyser": "^1.7",
-        "squizlabs/php_codesniffer": "^3.10.3"
+        "squizlabs/php_codesniffer": "^3.10.3",
+        "tomasvotruba/type-coverage": "^1.0"
     },
     "autoload": {
         "psr-4": {

.dev-tools/phpstan.neon

@@ -1,3 +1,7 @@
+
+includes:
+  - ./vendor/phpstan/phpstan/conf/bleedingEdge.neon
+
 parameters:
   bootstrapFiles:
     - ../vendor/autoload.php
@@ -10,6 +14,9 @@ parameters:
   stubFiles:
     - ./sca.stub
   treatPhpDocTypesAsCertain: false
-
-includes:
-  - ./vendor/phpstan/phpstan/conf/bleedingEdge.neon
+  type_coverage:
+      declare: 100
+      constant: 0
+      param: 100
+      property: 100
+      return: 100