From 995712c5c002f634775997564b18bd3da1830eb0 Mon Sep 17 00:00:00 2001
From: Markus Staab <m.staab@complex-it.de>
Date: Mon, 16 May 2022 18:37:16 +0200
Subject: [PATCH] more tests

---
 .../data/non-empty-string-substr-specifying.php        | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/tests/PHPStan/Analyser/data/non-empty-string-substr-specifying.php b/tests/PHPStan/Analyser/data/non-empty-string-substr-specifying.php
index d6bf60cb279..5bb90ebe62a 100644
--- a/tests/PHPStan/Analyser/data/non-empty-string-substr-specifying.php
+++ b/tests/PHPStan/Analyser/data/non-empty-string-substr-specifying.php
@@ -52,6 +52,16 @@ public function nonEmptySubstr(string $s, int $offset, int $length): void
 		}
 		assertType('string', $s);
 
+		if (substr($s, 10) == 'hallo') {
+			assertType('non-empty-string', $s);
+		}
+		assertType('string', $s);
+
+		if (substr($s, -10) == 'hallo') {
+			assertType('non-empty-string', $s);
+		}
+		assertType('string', $s);
+
 		$x = (substr($s, 10) === 'hallo');
 		assertType('string', $s);
 		var_dump($x);