use featureToggle

Author: staabm

conf/bleedingEdge.neon

@@ -4,5 +4,4 @@ parameters:
 		checkParameterCastableToNumberFunctions: true
 		skipCheckGenericClasses!: []
 		stricterFunctionMap: true
-
-	reportPossiblyNonexistentStringOffset: true
+		reportPossiblyNonexistentStringOffset: true

conf/config.neon

@@ -25,6 +25,7 @@ parameters:
 		checkParameterCastableToNumberFunctions: false
 		skipCheckGenericClasses: []
 		stricterFunctionMap: false
+		reportPossiblyNonexistentStringOffset: false
 	fileExtensions:
 		- php
 	checkAdvancedIsset: false
@@ -62,7 +63,6 @@ parameters:
 	reportAnyTypeWideningInVarTag: false
 	reportPossiblyNonexistentGeneralArrayOffset: false
 	reportPossiblyNonexistentConstantArrayOffset: false
-	reportPossiblyNonexistentStringOffset: false
 	checkMissingOverrideMethodAttribute: false
 	mixinExcludeClasses: []
 	scanFiles: []
@@ -837,7 +837,7 @@ services:
 			reportMaybes: %reportMaybes%
 			reportPossiblyNonexistentGeneralArrayOffset: %reportPossiblyNonexistentGeneralArrayOffset%
 			reportPossiblyNonexistentConstantArrayOffset: %reportPossiblyNonexistentConstantArrayOffset%
-			reportPossiblyNonexistentStringOffset: %reportPossiblyNonexistentStringOffset%
+			reportPossiblyNonexistentStringOffset: %featureToggles.reportPossiblyNonexistentStringOffset%
 
 	-
 		class: PHPStan\Rules\ClassNameCheck

conf/parametersSchema.neon

@@ -31,6 +31,7 @@ parametersSchema:
 		checkParameterCastableToNumberFunctions: bool(),
 		skipCheckGenericClasses: listOf(string()),
 		stricterFunctionMap: bool()
+		reportPossiblyNonexistentStringOffset: bool()
 	])
 	fileExtensions: listOf(string())
 	checkAdvancedIsset: bool()
@@ -73,7 +74,6 @@ parametersSchema:
 	reportAnyTypeWideningInVarTag: bool()
 	reportPossiblyNonexistentGeneralArrayOffset: bool()
 	reportPossiblyNonexistentConstantArrayOffset: bool()
-	reportPossiblyNonexistentStringOffset: bool()
 	checkMissingOverrideMethodAttribute: bool()
 	parallel: structure([
 		jobSize: int(),

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -832,7 +832,7 @@ public function testBug11946(): void
 				53,
 			],
 			[
-				"Offset int<-5, 5> might not exist on 'hi'.",
+				"Offset int<-5, 5> might not exist on 'hia'.",
 				56,
 			],
 		]);

tests/PHPStan/Rules/Arrays/data/bug-11946.php

@@ -43,7 +43,7 @@ public function maybeNonExistentStringOffset(
 		string $nonEmpty,
 		string $nonFalsy,
 		string $lowerCase,
-	    int $maybeWrong
+	    int    $maybeWrong, int $oneToTwo
 	)
 	{
 		echo $s[$maybeWrong];
@@ -52,7 +52,10 @@ public function maybeNonExistentStringOffset(
 		echo $nonFalsy[$maybeWrong];
 		echo $lowerCase[$maybeWrong];
 
-		$s = 'hi';
+		$s = 'hia';
 		echo $s[$maybeWrong];
+		if ($maybeWrong >= 1 && $maybeWrong < 3) {
+			echo $s[$maybeWrong];
+		}
 	}
 }