feat add test for varibles

Author: malsuke

tests/PHPStan/Analyser/nsrt/preg_split.php

@@ -8,10 +8,25 @@ class HelloWorld
 {
 	public function doFoo()
 	{
-		assertType('list<string>|false', preg_split('/-/', '1-2-3'));
-		assertType('list<string>|false', preg_split('/-/', '1-2-3', -1, PREG_SPLIT_NO_EMPTY));
-		assertType('list<array{string, int<0, max>}>|false', preg_split('/-/', '1-2-3', -1, PREG_SPLIT_OFFSET_CAPTURE));
-		assertType('list<array{string, int<0, max>}>|false', preg_split('/-/', '1-2-3', -1, PREG_SPLIT_NO_EMPTY | PREG_SPLIT_OFFSET_CAPTURE));
+		$aaa = '/[0-9a]';
+		assertType('*ERROR*', preg_split($aaa, '1-2-3'));
+		assertType("array{'1', '2', '3'}", preg_split('/-/', '1-2-3'));
+		assertType("array{'1', '2', '3'}", preg_split('/-/', '1-2-3', -1, PREG_SPLIT_NO_EMPTY));
+		assertType("array{'1', '3'}", preg_split('/-/', '1--3', -1, PREG_SPLIT_NO_EMPTY));
+		assertType("array{array{'1', 0}, array{'2', 2}, array{'3', 4}}", preg_split('/-/', '1-2-3', -1, PREG_SPLIT_OFFSET_CAPTURE));
+		assertType("array{array{'1', 0}, array{'2', 2}, array{'3', 4}}", preg_split('/-/', '1-2-3', -1, PREG_SPLIT_NO_EMPTY | PREG_SPLIT_OFFSET_CAPTURE));
+		assertType("array{array{'1', 0}, array{'', 2}, array{'3', 3}}", preg_split('/-/', '1--3', -1, PREG_SPLIT_OFFSET_CAPTURE));
+		assertType("array{array{'1', 0}, array{'3', 3}}", preg_split('/-/', '1--3', -1, PREG_SPLIT_NO_EMPTY | PREG_SPLIT_OFFSET_CAPTURE));
+	}
+
+	public function doWithVariables(string $pattern, string $subject, int $offset, int $flags): void
+	{
+		assertType('(list<string>|false)', preg_split($pattern, $subject, $offset, $flags));
+		assertType('(list<string>|false)', preg_split("//", $subject, $offset, $flags));
+		assertType('(list<string>|false)', preg_split($pattern, "1-2-3", $offset, $flags));
+		assertType('(list<string>|false)', preg_split($pattern, $subject, -1, $flags));
+		assertType('(list<string>|false)', preg_split($pattern, $subject, $offset, PREG_SPLIT_NO_EMPTY));
+		assertType('list<array{string, int<0, max>}>', preg_split($pattern, $subject, $offset, PREG_SPLIT_OFFSET_CAPTURE));
 	}
 
 	/**
@@ -24,10 +39,10 @@ public function doFoo()
 	 */
 	public static function splitWithOffset($pattern, $subject, $limit = -1, $flags = 0)
 	{
-		assertType('list<array{string, int<0, max>}>|false', preg_split($pattern, $subject, $limit, $flags | PREG_SPLIT_OFFSET_CAPTURE));
-		assertType('list<array{string, int<0, max>}>|false', preg_split($pattern, $subject, $limit, PREG_SPLIT_OFFSET_CAPTURE | $flags));
+		assertType('list<array{string, int<0, max>}>', preg_split($pattern, $subject, $limit, $flags | PREG_SPLIT_OFFSET_CAPTURE));
+		assertType('list<array{string, int<0, max>}>', preg_split($pattern, $subject, $limit, PREG_SPLIT_OFFSET_CAPTURE | $flags));
 
-		assertType('list<array{string, int<0, max>}>|false', preg_split($pattern, $subject, $limit, PREG_SPLIT_OFFSET_CAPTURE | $flags | PREG_SPLIT_NO_EMPTY));
+		assertType('list<array{string, int<0, max>}>', preg_split($pattern, $subject, $limit, PREG_SPLIT_OFFSET_CAPTURE | $flags | PREG_SPLIT_NO_EMPTY));
 	}
 
 	/**