Extract bleeding edge tests

Author: herndlm

tests/Type/WebMozartAssert/AssertTypeSpecifyingExtensionTest.php

@@ -37,7 +37,6 @@ public static function getAdditionalConfigFiles(): array
 	{
 		return [
 			__DIR__ . '/../../../extension.neon',
-			'phar://' . __DIR__ . '/../../../vendor/phpstan/phpstan/phpstan.phar/conf/bleedingEdge.neon',
 		];
 	}
 

tests/Type/WebMozartAssert/AssertTypeSpecifyingExtensionTestBleedingEdge.php

@@ -0,0 +1,37 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Type\WebMozartAssert;
+
+use PHPStan\Testing\TypeInferenceTestCase;
+
+class AssertTypeSpecifyingExtensionTestBleedingEdge extends TypeInferenceTestCase
+{
+
+	/** @return iterable<mixed> */
+	public function dataFileAsserts(): iterable
+	{
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/array-bleeding-edge.php');
+	}
+
+	/**
+	 * @dataProvider dataFileAsserts
+	 * @param mixed ...$args
+	 */
+	public function testFileAsserts(
+		string $assertType,
+		string $file,
+		...$args
+	): void
+	{
+		$this->assertFileAsserts($assertType, $file, ...$args);
+	}
+
+	public static function getAdditionalConfigFiles(): array
+	{
+		return [
+			__DIR__ . '/../../../extension.neon',
+			'phar://' . __DIR__ . '/../../../vendor/phpstan/phpstan/phpstan.phar/conf/bleedingEdge.neon',
+		];
+	}
+
+}

tests/Type/WebMozartAssert/data/array-bleeding-edge.php

@@ -0,0 +1,29 @@
+<?php declare(strict_types=1);
+
+namespace PHPStan\Type\WebMozartAssert;
+
+use Webmozart\Assert\Assert;
+use function PHPStan\Testing\assertType;
+
+class ArrayBleedingEdgeTest
+{
+
+	public function isList($a, $b): void
+	{
+		Assert::isList($a);
+		assertType('list<mixed>', $a);
+
+		Assert::nullOrIsList($b);
+		assertType('list<mixed>|null', $b);
+	}
+
+	public function isNonEmptyList($a, $b): void
+	{
+		Assert::isNonEmptyList($a);
+		assertType('non-empty-list<mixed>', $a);
+
+		Assert::nullOrIsNonEmptyList($b);
+		assertType('non-empty-list<mixed>|null', $b);
+	}
+
+}

tests/Type/WebMozartAssert/data/array.php

@@ -101,19 +101,19 @@ public function countBetween(array $a, array $b, array $c, array $d): void
 	public function isList($a, $b): void
 	{
 		Assert::isList($a);
-		assertType('list<mixed>', $a);
+		assertType('array<int, mixed>', $a);
 
 		Assert::nullOrIsList($b);
-		assertType('list<mixed>|null', $b);
+		assertType('array<int, mixed>|null', $b);
 	}
 
 	public function isNonEmptyList($a, $b): void
 	{
 		Assert::isNonEmptyList($a);
-		assertType('non-empty-list<mixed>', $a);
+		assertType('non-empty-array<int, mixed>', $a);
 
 		Assert::nullOrIsNonEmptyList($b);
-		assertType('non-empty-list<mixed>|null', $b);
+		assertType('non-empty-array<int, mixed>|null', $b);
 	}
 
 	public function isMap($a, $b): void