Too wide @param-out - fix for conditional types

src/Rules/TooWideTypehints/TooWideFunctionParameterOutTypeRule.php

@@ -11,6 +11,7 @@
 use PHPStan\Rules\Rule;
 use PHPStan\Rules\RuleError;
 use PHPStan\Rules\RuleErrorBuilder;
+use PHPStan\Type\TypeUtils;
 use PHPStan\Type\UnionType;
 use PHPStan\Type\VerbosityLevel;
 use function sprintf;
@@ -85,6 +86,7 @@ private function processSingleParameter(
 			$outType = $parameter->getType();
 		}
 
+		$outType = TypeUtils::resolveLateResolvableTypes($outType);
 		if (!$outType instanceof UnionType) {
 			return [];
 		}

src/Rules/TooWideTypehints/TooWideMethodParameterOutTypeRule.php

@@ -11,6 +11,7 @@
 use PHPStan\Rules\Rule;
 use PHPStan\Rules\RuleError;
 use PHPStan\Rules\RuleErrorBuilder;
+use PHPStan\Type\TypeUtils;
 use PHPStan\Type\UnionType;
 use PHPStan\Type\VerbosityLevel;
 use function sprintf;
@@ -85,6 +86,7 @@ private function processSingleParameter(
 			$outType = $parameter->getType();
 		}
 
+		$outType = TypeUtils::resolveLateResolvableTypes($outType);
 		if (!$outType instanceof UnionType) {
 			return [];
 		}

tests/PHPStan/Rules/TooWideTypehints/TooWideFunctionParameterOutTypeRuleTest.php

@@ -33,6 +33,10 @@ public function testRule(): void
 				23,
 				'You can narrow the parameter out type with @param-out PHPDoc tag.',
 			],
+			[
+				'Function TooWideFunctionParameterOut\bug10699() never assigns 20 to &$out so it can be removed from the @param-out type.',
+				48,
+			],
 		]);
 	}
 

tests/PHPStan/Rules/TooWideTypehints/TooWideMethodParameterOutTypeRuleTest.php

@@ -33,6 +33,10 @@ public function testRule(): void
 				26,
 				'You can narrow the parameter out type with @param-out PHPDoc tag.',
 			],
+			[
+				'Method TooWideMethodParameterOut\Foo::bug10699() never assigns 20 to &$out so it can be removed from the @param-out type.',
+				37,
+			],
 		]);
 	}
 

tests/PHPStan/Rules/TooWideTypehints/data/too-wide-function-parameter-out.php

@@ -38,3 +38,14 @@ function ipCheckData(string $host, ?\stdClass &$ipdata): bool
 
 	return true;
 }
+
+/**
+ * @param int $flags
+ * @param 10 $out
+ *
+ * @param-out ($flags is 2 ? 20 : 10) $out
+ */
+function bug10699(int $flags, &$out): void
+{
+
+}

tests/PHPStan/Rules/TooWideTypehints/data/too-wide-method-parameter-out.php

@@ -28,4 +28,16 @@ public function doLorem(?string &$p): void
 		$p = 'foo';
 	}
 
+	/**
+	 * @param int $flags
+	 * @param 10 $out
+	 *
+	 * @param-out ($flags is 2 ? 20 : 10) $out
+	 */
+	function bug10699(int $flags, &$out): void
+	{
+
+	}
+
+
 }