Add regression test for non-empty-string ImpossibleCheckTypeStaticMethodCallRule problems

Author: herndlm

tests/Type/WebMozartAssert/ImpossibleCheckTypeMethodCallRuleTest.php

@@ -18,6 +18,8 @@ protected function getRule(): Rule
 
 	public function testExtension(): void
 	{
+		$this->analyse([__DIR__ . '/data/bug-85.php'], []);
+
 		$this->analyse([__DIR__ . '/data/impossible-check.php'], [
 			[
 				'Call to static method Webmozart\Assert\Assert::stringNotEmpty() with \'\' will always evaluate to false.',
@@ -29,6 +31,7 @@ public function testExtension(): void
 	public static function getAdditionalConfigFiles(): array
 	{
 		return [
+			__DIR__ . '/../../../vendor/phpstan/phpstan-strict-rules/rules.neon',
 			__DIR__ . '/../../../extension.neon',
 		];
 	}

tests/Type/WebMozartAssert/data/bug-85.php

@@ -0,0 +1,34 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PHPStan\Type\WebMozartAssert;
+
+use Webmozart\Assert\Assert;
+
+final class Bug85
+{
+
+	public function foo(string $cityCode): void
+	{
+		Assert::length($cityCode, 3);
+		Assert::upper($cityCode);
+	}
+
+	/**
+	 * @param mixed $url
+	 */
+	function bar($url): void
+	{
+		Assert::stringNotEmpty($url);
+		Assert::contains($url, '/');
+		Assert::startsWith($url, 'https://github.com/');
+	}
+
+	public function baz(string $s): void
+	{
+		Assert::stringNotEmpty($s);
+		Assert::uuid($s);
+	}
+
+}