Support preg_quote()'d patterns

Author: staabm

composer.json

@@ -7,7 +7,7 @@
 	],
 	"require": {
 		"php": "^7.2 || ^8.0",
-		"phpstan/phpstan": "^1.11.6"
+		"phpstan/phpstan": "^1.11.8"
 	},
 	"conflict": {
 		"nette/application": "<2.3.0",

src/Type/Nette/StringsMatchDynamicReturnTypeExtension.php

@@ -42,14 +42,13 @@ public function getTypeFromStaticMethodCall(MethodReflection $methodReflection,
 			return null;
 		}
 
-		$patternType = $scope->getType($patternArg->value);
 		$flagsArg = $args[2] ?? null;
 		$flagsType = null;
 		if ($flagsArg !== null) {
 			$flagsType = $scope->getType($flagsArg->value);
 		}
 
-		$arrayShape = $this->regexArrayShapeMatcher->matchType($patternType, $flagsType, TrinaryLogic::createYes());
+		$arrayShape = $this->regexArrayShapeMatcher->matchExpr($patternArg->value, $flagsType, TrinaryLogic::createYes(), $scope);
 		if ($arrayShape === null) {
 			return null;
 		}

tests/Type/Nette/data/strings-match.php

@@ -18,4 +18,7 @@ function (string $s): void {
 
 	$result = Strings::match($s, '/(foo)(bar)(baz)/');
 	assertType('array{string, string, string, string}|null', $result);
+
+	$result = Strings::match($s, '/(foo)(bar)'. preg_quote($s) .'(baz)/');
+	assertType('array{string, string, string, string}|null', $result);
 };