Use generics for Control typehint

phpstan.neon.dist

@@ -103,6 +103,10 @@ parameters:
             message: "#^Parameter \\#2 \\$size of class Nepada\\\\FileUploadControl\\\\Storage\\\\Metadata\\\\FileUploadMetadata constructor expects int, mixed given\\.$#"
             count: 1
             path: src/FileUploadControl/Storage/Metadata/FileUploadMetadata.php
+        -
+            message: "#^Parameter \\#1 \\$control \\(Nette\\\\Forms\\\\Control\\<mixed\\>\\) of method Nepada\\\\FileUploadControl\\\\FileUploadControl\\:\\:addConditionOn\\(\\) should be contravariant with parameter \\$control \\(Nette\\\\Forms\\\\IControl\\) of method Nextras\\\\FormComponents\\\\Fragments\\\\UIControl\\\\BaseControl\\:\\:addConditionOn\\(\\)$#"
+            count: 1
+            path: src/FileUploadControl/FileUploadControl.php
         - # Used for checksum only
             message: "#^Calling sha1\\(\\) is forbidden, use hash\\(\\) with at least SHA\\-256 for secure hash, or password_hash\\(\\) for passwords$#"
             count: 1

src/FileUploadControl/Validation/UploadValidation.php

@@ -41,6 +41,7 @@ public function addCondition($validator, mixed $value = null): Rules
 
     /**
      * @phpcsSuppress SlevomatCodingStandard.TypeHints.ParameterTypeHint.MissingNativeTypeHint
+     * @param Control<mixed> $control
      * @param callable|string $validator
      */
     public function addConditionOn(Control $control, $validator, mixed $value = null): Rules

tests/PHPStan/conditional.config.php

@@ -1,6 +1,7 @@
 <?php
 declare(strict_types = 1);
 
+use Composer\InstalledVersions;
 use Composer\Semver\VersionParser;
 
 $config = [];
@@ -22,4 +23,10 @@
     ];
 }
 
+if (InstalledVersions::satisfies(new VersionParser(), 'nette/forms', '<3.2')) {
+    $config['parameters']['ignoreErrors'][] = [
+        'message' => '~contains generic type Nette\\\\Forms\\\\Control<mixed> but interface Nette\\\\Forms\\\\Control is not generic~',
+    ];
+}
+
 return $config;