WIP: add option to prohibit coercing bool to string

Author: schlndh

conf/bleedingEdge.neon

@@ -14,3 +14,4 @@ parameters:
 		rawMessageInBaseline: true
 		reportNestedTooWideType: false
 		assignToByRefForeachExpr: true
+		checkTypeCoercions: true

conf/config.neon

@@ -38,6 +38,7 @@ parameters:
 		rawMessageInBaseline: false
 		reportNestedTooWideType: false
 		assignToByRefForeachExpr: false
+		checkTypeCoercions: false
 	fileExtensions:
 		- php
 	checkAdvancedIsset: false
@@ -221,6 +222,8 @@ parameters:
 		- [parameters, memoryLimitFile]
 		- [parameters, pro]
 		- parametersSchema
+	allowedTypeCoercions:
+		boolToString: true
 
 extensions:
 	rules: PHPStan\DependencyInjection\RulesExtension

conf/parametersSchema.neon

@@ -41,6 +41,7 @@ parametersSchema:
 		rawMessageInBaseline: bool()
 		reportNestedTooWideType: bool()
 		assignToByRefForeachExpr: bool()
+		checkTypeCoercions: bool()
 	])
 	fileExtensions: listOf(string())
 	checkAdvancedIsset: bool()
@@ -163,6 +164,9 @@ parametersSchema:
 		string(),
 		listOf(string()),
 	)))
+	allowedTypeCoercions: structure([
+		boolToString: bool()
+	])
 
 	# playground mode
 	sourceLocatorPlaygroundMode: bool()

src/Rules/Cast/InvalidPartOfEncapsedStringRule.php

@@ -9,6 +9,7 @@
 use PHPStan\Rules\Rule;
 use PHPStan\Rules\RuleErrorBuilder;
 use PHPStan\Rules\RuleLevelHelper;
+use PHPStan\Rules\TypeCoercionRuleHelper;
 use PHPStan\Type\ErrorType;
 use PHPStan\Type\Type;
 use PHPStan\Type\VerbosityLevel;
@@ -24,6 +25,7 @@ final class InvalidPartOfEncapsedStringRule implements Rule
 	public function __construct(
 		private ExprPrinter $exprPrinter,
 		private RuleLevelHelper $ruleLevelHelper,
+		private TypeCoercionRuleHelper $typeCoercionRuleHelper,
 	)
 	{
 	}
@@ -45,14 +47,14 @@ public function processNode(Node $node, Scope $scope): array
 				$scope,
 				$part,
 				'',
-				static fn (Type $type): bool => !$type->toString() instanceof ErrorType,
+				fn (Type $type): bool => !$this->typeCoercionRuleHelper->coerceToString($type) instanceof ErrorType,
 			);
 			$partType = $typeResult->getType();
 			if ($partType instanceof ErrorType) {
 				continue;
 			}
 
-			$stringPartType = $partType->toString();
+			$stringPartType = $this->typeCoercionRuleHelper->coerceToString($partType);
 			if (!$stringPartType instanceof ErrorType) {
 				continue;
 			}

src/Rules/TypeCoercionRuleHelper.php

@@ -0,0 +1,34 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Rules;
+
+use PHPStan\DependencyInjection\AutowiredParameter;
+use PHPStan\DependencyInjection\AutowiredService;
+use PHPStan\Type\ErrorType;
+use PHPStan\Type\Type;
+
+#[AutowiredService]
+final class TypeCoercionRuleHelper
+{
+
+	public function __construct(
+		#[AutowiredParameter(ref: '%featureToggles.checkTypeCoercions%')]
+		private readonly bool $checkTypeCoercions,
+		#[AutowiredParameter(ref: '%allowedTypeCoercions.boolToString%')]
+		private readonly bool $allowBoolToString,
+	)
+	{
+	}
+
+	public function coerceToString(Type $type): Type
+	{
+		if (!$this->checkTypeCoercions) {
+			return $type->toString();
+		}
+		if (!$this->allowBoolToString && !$type->isBoolean()->no()) {
+			return new ErrorType();
+		}
+		return $type->toString();
+	}
+
+}

tests/PHPStan/Rules/Cast/InvalidPartOfEncapsedStringRuleTest.php

@@ -6,6 +6,7 @@
 use PHPStan\Node\Printer\Printer;
 use PHPStan\Rules\Rule;
 use PHPStan\Rules\RuleLevelHelper;
+use PHPStan\Rules\TypeCoercionRuleHelper;
 use PHPStan\Testing\RuleTestCase;
 use PHPUnit\Framework\Attributes\RequiresPhp;
 
@@ -15,11 +16,14 @@
 class InvalidPartOfEncapsedStringRuleTest extends RuleTestCase
 {
 
+	private ?TypeCoercionRuleHelper $typeCoercionRuleHelper = null;
+
 	protected function getRule(): Rule
 	{
 		return new InvalidPartOfEncapsedStringRule(
 			new ExprPrinter(new Printer()),
 			new RuleLevelHelper(self::createReflectionProvider(), true, false, true, false, false, false, true),
+			$this->typeCoercionRuleHelper ?? new TypeCoercionRuleHelper(true, true),
 		);
 	}
 
@@ -45,6 +49,37 @@ public function testRule(): void
 		]);
 	}
 
+	public function testRuleWithStrictCoercions(): void
+	{
+		$this->typeCoercionRuleHelper = new TypeCoercionRuleHelper(true, false);
+		$this->analyse([__DIR__ . '/data/invalid-encapsed-part.php'], [
+			[
+				'Part $std (stdClass) of encapsed string cannot be cast to string.',
+				26,
+			],
+			[
+				'Part $bool (bool) of encapsed string cannot be cast to string.',
+				27,
+			],
+			[
+				'Part $array (array) of encapsed string cannot be cast to string.',
+				30,
+			],
+			[
+				'Part $std (stdClass|string) of encapsed string cannot be cast to string.',
+				56,
+			],
+			[
+				'Part $bool (bool|string) of encapsed string cannot be cast to string.',
+				57,
+			],
+			[
+				'Part $array (array|string) of encapsed string cannot be cast to string.',
+				60,
+			],
+		]);
+	}
+
 	#[RequiresPhp('>= 8.0')]
 	public function testRuleWithNullsafeVariant(): void
 	{