adjust

Author: mvorisek

tests/PHPStan/Analyser/nsrt/preg_match_shapes.php

@@ -1018,58 +1018,58 @@ function bug12397(string $string): void {
 
 function bug2792(string $string): void {
 	if (preg_match('~a\Kb~', $string, $match) === 1) {
-		assertType('array{\'b\'}', $match);
+		assertType('array{string}', $match); // could be array{'b'}
 	}
 
 	if (preg_match('~a\K~', $string, $match) === 1) {
-		assertType('array{\'\'}', $match);
+		assertType('array{string}', $match); // could be array{''}
 	}
 
 	if (preg_match('~a\K.+~', $string, $match) === 1) {
-		assertType('array{non-empty-string}', $match);
+		assertType('array{string}', $match); // could be array{non-empty-string}
 	}
 
 	if (preg_match('~a\K.*~', $string, $match) === 1) {
 		assertType('array{string}', $match);
 	}
 
 	if (preg_match('~a\K(.+)~', $string, $match) === 1) {
-		assertType('array{non-empty-string, non-empty-string}', $match);
+		assertType('array{string, non-empty-string}', $match); // could be array{non-empty-string, non-empty-string}
 	}
 
 	if (preg_match('~a\K(.*)~', $string, $match) === 1) {
 		assertType('array{string, string}', $match);
 	}
 
 	if (preg_match('~a\K(.+?)~', $string, $match) === 1) {
-		assertType('array{non-empty-string, non-empty-string}', $match);
+		assertType('array{string, non-empty-string}', $match); // could be array{non-empty-string, non-empty-string}
 	}
 
 	if (preg_match('~a\K(.*?)~', $string, $match) === 1) {
 		assertType('array{string, string}', $match);
 	}
 
 	if (preg_match('~a\K(?=.+)~', $string, $match) === 1) {
-		assertType('array{\'\'}', $match);
+		assertType('array{string}', $match); // could be array{''}
 	}
 
 	if (preg_match('~a\K(?=.*)~', $string, $match) === 1) {
-		assertType('array{\'\'}', $match);
+		assertType('array{string}', $match); // could be array{''}
 	}
 
 	if (preg_match('~a(?:x\Kb|c)~', $string, $match) === 1) {
-		assertType('array{\'ac\'|\'b\'}', $match);
+		assertType('array{string}', $match); // could be array{'ac'|'b'}
 	}
 
 	if (preg_match('~a(?:c|x\Kb)~', $string, $match) === 1) {
-		assertType('array{\'ac\'|\'b\'}', $match);
+		assertType('array{string}', $match); // could be array{'ac'|'b'}
 	}
 
 	if (preg_match('~a(y|(?:x\Kb|c))d~', $string, $match) === 1) {
-		assertType('array{\'acd\'|\'ayd\'|\'bd\', \'c\'|\'xb\'|\'y\'}', $match);
+		assertType('array{string, non-empty-string}', $match); // could be array{'acd'|'ayd'|'bd', 'c'|'xb'|'y'}
 	}
 
 	if (preg_match('~a((?:c|x\Kb)|y)d~', $string, $match) === 1) {
-		assertType('array{\'acd\'|\'ayd\'|\'bd\', \'c\'|\'xb\'|\'y\'}', $match);
+		assertType('array{string, non-empty-string}', $match); // could be array{'acd'|'ayd'|'bd', 'c'|'xb'|'y'}
 	}
 }