fix

Author: staabm

src/Type/Php/SprintfFunctionDynamicReturnTypeExtension.php

@@ -81,7 +81,10 @@ public function getTypeFromFunctionCall(
 				// of stringy type, then the return value will be of the same type
 				$checkArgType = $scope->getType($args[$checkArg]->value);
 
-				if ($matches[2] === 's' && $checkArgType->isScalar()->yes()) {
+				if ($matches[2] === 's'
+					&& $checkArgType->isScalar()->yes()
+					&& $checkArgType->getFiniteTypes() === []
+				) {
 					$singlePlaceholderEarlyReturn = $checkArgType->toString();
 				} elseif ($matches[2] !== 's') {
 					$singlePlaceholderEarlyReturn = new IntersectionType([

tests/PHPStan/Analyser/nsrt/bug-11201.php

@@ -27,6 +27,10 @@ function returnsJustString(): string
 	return rand(0,1) === 1 ? 'foo' : '';
 }
 
+function returnsBool(): bool {
+	return true;
+}
+
 $s = sprintf("%s", returnsNonEmptyString());
 assertType('non-empty-string', $s);
 
@@ -41,3 +45,12 @@ function returnsJustString(): string
 
 $s = sprintf('%2$s', 1234, returnsNonFalsyString());
 assertType('non-falsy-string', $s);
+
+$s = sprintf('%20s', 'abc');
+assertType("'                 abc'", $s);
+
+$s = sprintf('%20s', true);
+assertType("'                   1'", $s);
+
+$s = sprintf('%20s', returnsBool());
+assertType("non-falsy-string", $s);