Regression tests

tests/Rules/PHPUnit/ImpossibleCheckTypeMethodCallRuleTest.php

@@ -0,0 +1,45 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Rules\PHPUnit;
+
+use PHPStan\Rules\Comparison\ImpossibleCheckTypeMethodCallRule;
+use PHPStan\Rules\Rule;
+use PHPStan\Testing\RuleTestCase;
+
+/**
+ * @extends RuleTestCase<ImpossibleCheckTypeMethodCallRule>
+ */
+class ImpossibleCheckTypeMethodCallRuleTest extends RuleTestCase
+{
+
+	protected function getRule(): Rule
+	{
+		return self::getContainer()->getByType(ImpossibleCheckTypeMethodCallRule::class);
+	}
+
+	public function testRule(): void
+	{
+		$this->analyse([__DIR__ . '/data/impossible-assert-method-call.php'], [
+			[
+				'Call to method PHPUnit\Framework\Assert::assertEmpty() with array{} will always evaluate to true.',
+				14,
+			],
+			[
+				'Call to method PHPUnit\Framework\Assert::assertEmpty() with array{1, 2, 3} will always evaluate to false.',
+				15,
+			],
+		]);
+	}
+
+	/**
+	 * @return string[]
+	 */
+	public static function getAdditionalConfigFiles(): array
+	{
+		return [
+			__DIR__ . '/../../../extension.neon',
+			__DIR__ . '/../../../vendor/phpstan/phpstan-strict-rules/rules.neon',
+		];
+	}
+
+}

tests/Rules/PHPUnit/data/impossible-assert-method-call.php

@@ -0,0 +1,23 @@
+<?php
+
+namespace ImpossibleAssertMethodCall;
+
+use Countable;
+use PHPUnit\Framework\TestCase;
+
+class Foo extends TestCase
+{
+
+	public function doFoo(Countable $c): void
+	{
+		$this->assertEmpty($c);
+		$this->assertEmpty([]);
+		$this->assertEmpty([1, 2, 3]);
+	}
+
+	public function doBar(object $o): void
+	{
+		$this->assertEmpty($o);
+	}
+
+}