PHPStan fix

Author: ondrejmirtes

src/Testing/TypeInferenceTestCase.php

@@ -18,14 +18,12 @@
 use PHPStan\Reflection\InitializerExprTypeResolver;
 use PHPStan\Reflection\SignatureMap\SignatureMapProvider;
 use PHPStan\Rules\Properties\ReadWritePropertiesExtensionProvider;
-use PHPStan\ShouldNotHappenException;
 use PHPStan\TrinaryLogic;
 use PHPStan\Type\ConstantScalarType;
 use PHPStan\Type\FileTypeMapper;
 use PHPStan\Type\Type;
 use PHPStan\Type\VerbosityLevel;
 use Symfony\Component\Finder\Finder;
-use function array_key_exists;
 use function array_map;
 use function array_merge;
 use function count;
@@ -304,9 +302,6 @@ private static function isFileLintSkipped(string $file): bool
 			@fclose($f);
 
 			if (preg_match('~<?php\\s*\\/\\/\s*lint\s*([^\d\s]+)\s*([^\s]+)\s*~i', $firstLine, $m) === 1) {
-				if (!array_key_exists(1, $m) || !array_key_exists(2, $m)) {
-					throw new ShouldNotHappenException();
-				}
 				return version_compare(PHP_VERSION, $m[2], $m[1]) === false;
 			}
 		}

src/Type/Php/SprintfFunctionDynamicReturnTypeExtension.php

@@ -55,7 +55,7 @@ public function getTypeFromFunctionCall(
 			foreach ($formatType->getConstantStrings() as $constantString) {
 				// The printf format is %[argnum$][flags][width][.precision]
 				if (preg_match('/^%([0-9]*\$)?[0-9]*\.?[0-9]*([sbdeEfFgGhHouxX])$/', $constantString->getValue(), $matches) === 1) {
-					if (array_key_exists(1, $matches) && ($matches[1] !== '')) {
+					if ($matches[1] !== '') {
 						// invalid positional argument
 						if ($matches[1] === '0$') {
 							return null;