Prevent resolving conditional types in callable param/return types

Author: rvanvelzen

Diff for: src/Type/TypeUtils.php

@@ -411,11 +411,22 @@ public static function containsTemplateType(Type $type): bool
 
 	public static function resolveLateResolvableTypes(Type $type, bool $resolveUnresolvableTypes = true): Type
 	{
-		return TypeTraverser::map($type, static function (Type $type, callable $traverse) use ($resolveUnresolvableTypes): Type {
-			while ($type instanceof LateResolvableType && ($resolveUnresolvableTypes || $type->isResolvable())) {
+		/** @var int $ignoreResolveUnresolvableTypesLevel */
+		$ignoreResolveUnresolvableTypesLevel = 0;
+
+		return TypeTraverser::map($type, static function (Type $type, callable $traverse) use ($resolveUnresolvableTypes, &$ignoreResolveUnresolvableTypesLevel): Type {
+			while ($type instanceof LateResolvableType && (($resolveUnresolvableTypes && $ignoreResolveUnresolvableTypesLevel === 0) || $type->isResolvable())) {
 				$type = $type->resolve();
 			}
 
+			if ($type instanceof CallableType || $type instanceof ClosureType) {
+				$ignoreResolveUnresolvableTypesLevel++;
+				$result = $traverse($type);
+				$ignoreResolveUnresolvableTypesLevel--;
+
+				return $result;
+			}
+
 			return $traverse($type);
 		});
 	}

Diff for: tests/PHPStan/Analyser/nsrt/bug-11472.php

@@ -0,0 +1,18 @@
+<?php declare(strict_types = 1); // lint >= 8.1
+
+namespace Bug11472;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @phpstan-return ($maybeFoo is 'foo' ? true : false)
+ */
+function isFoo(mixed $maybeFoo): bool
+{
+	return $maybeFoo === 'foo';
+}
+
+function (): void {
+	assertType('true', isFoo('foo'));
+	assertType('true', isFoo(...)('foo'));
+};