Merge branch 'stable' into bedrock-1.21.80

Author: dktapps

phpstan.neon.dist

@@ -15,7 +15,7 @@ rules:
 	- pocketmine\phpstan\rules\DisallowEnumComparisonRule
 	- pocketmine\phpstan\rules\DisallowForeachByReferenceRule
 	- pocketmine\phpstan\rules\ExplodeLimitRule
-	- pocketmine\phpstan\rules\UnsafeForeachArrayOfStringRule
+	- pocketmine\phpstan\rules\UnsafeForeachRule
 #	- pocketmine\phpstan\rules\ThreadedSupportedTypesRule
 
 parameters:

tests/phpstan/rules/UnsafeForeachArrayOfStringRule.php renamed to tests/phpstan/rules/UnsafeForeachRule.php

@@ -41,7 +41,7 @@
 /**
  * @implements Rule<Foreach_>
  */
-final class UnsafeForeachArrayOfStringRule implements Rule{
+final class UnsafeForeachRule implements Rule{
 
 	public function getNodeType() : string{
 		return Foreach_::class;
@@ -73,7 +73,7 @@ public function processNode(Node $node, Scope $scope) : array{
 				$benevolentUnionDepth--;
 				return $result;
 			}
-			if($type instanceof IntegerType && $benevolentUnionDepth === 0){
+			if($type instanceof IntegerType){
 				$expectsIntKeyTypes = true;
 				return $type;
 			}
@@ -87,24 +87,31 @@ public function processNode(Node $node, Scope $scope) : array{
 			$hasCastableKeyTypes = true;
 			return $type;
 		});
-		if($hasCastableKeyTypes && !$expectsIntKeyTypes){
-			$tip = $implicitType ?
-				sprintf(
-					"Declare a key type using @phpstan-var or @phpstan-param, or use %s() to promote the key type to get proper error reporting",
+		$errors = [];
+		if($implicitType){
+			$errors[] = RuleErrorBuilder::message("Possible unreported errors in foreach on array with unspecified key type.")
+				->tip(sprintf(
+					<<<TIP
+PHPStan might not be reporting some type errors if the key type is not specified.
+Declare a key type using @phpstan-var or @phpstan-param, or use %s() to force PHPStan to report proper errors.
+TIP,
 					Utils::getNiceClosureName(Utils::promoteKeys(...))
-				) :
-				sprintf(
-					"Use %s() to get a \Generator that will force the keys to string",
-					Utils::getNiceClosureName(Utils::stringifyKeys(...)),
-				);
-			return [
-				RuleErrorBuilder::message(sprintf(
-					"Unsafe foreach on array with key type %s (they might be casted to int).",
-					$iterableType->getIterableKeyType()->describe(VerbosityLevel::value())
-				))->tip($tip)->identifier('pocketmine.foreach.stringKeys')->build()
-			];
+				))->identifier('pocketmine.foreach.implicitKeys')->build();
+		}
+		if($hasCastableKeyTypes && !$expectsIntKeyTypes){
+			$errors[] = RuleErrorBuilder::message(sprintf(
+				"Unsafe foreach on array with key type %s.",
+				$iterableType->getIterableKeyType()->describe(VerbosityLevel::value())
+			))
+				->tip(sprintf(
+					<<<TIP
+PHP coerces numeric strings to integers when used as array keys, which can lead to unexpected type errors when passing the key to a function.
+Use %s() to wrap the array in a \Generator that will force the keys back to string during iteration.
+TIP,
+					Utils::getNiceClosureName(Utils::stringifyKeys(...))
+				))->identifier('pocketmine.foreach.stringKeys')->build();
 		}
-		return [];
+		return $errors;
 	}
 
 }