Add test cases for #150

Author: herndlm

tests/Type/WebMozartAssert/AssertTypeSpecifyingExtensionTest.php

@@ -20,6 +20,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/type.php');
 
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-18.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-150.php');
 	}
 
 	/**

tests/Type/WebMozartAssert/ImpossibleCheckTypeMethodCallRuleTest.php

@@ -237,6 +237,11 @@ public function testBug130(): void
 		$this->analyse([__DIR__ . '/data/bug-130.php'], []);
 	}
 
+	public function testBug150(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-150.php'], []);
+	}
+
 	public static function getAdditionalConfigFiles(): array
 	{
 		return [

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

@@ -0,0 +1,29 @@
+<?php declare(strict_types=1);
+
+namespace WebmozartAssertBug150;
+
+use Webmozart\Assert\Assert;
+use function PHPStan\Testing\assertType;
+
+class Bug150
+{
+
+	public function doFoo($data): void
+	{
+		Assert::isArray($data);
+		Assert::keyExists($data, 'sniffs');
+		Assert::isArray($data['sniffs']);
+		assertType("array&hasOffsetValue('sniffs', array)", $data);
+
+		foreach ($data['sniffs'] as $sniffName) {
+			Assert::string($sniffName);
+			Assert::classExists($sniffName);
+			assertType('class-string', $sniffName);
+			Assert::implementsInterface($sniffName, SniffInterface::class);
+			assertType('class-string<WebmozartAssertBug150\SniffInterface>', $sniffName);
+		}
+	}
+
+}
+
+interface SniffInterface {}