ArrayValuesRuleTest.php

<?php declare(strict_types = 1);

namespace PHPStan\Rules\Functions;

use PHPStan\Rules\Rule;
use PHPStan\Testing\RuleTestCase;
use const PHP_VERSION_ID;

/**
 * @extends RuleTestCase<ArrayValuesRule>
 */
class ArrayValuesRuleTest extends RuleTestCase
{

	protected function getRule(): Rule
	{
		return new ArrayValuesRule(
			self::createReflectionProvider(),
			$this->shouldTreatPhpDocTypesAsCertain(),
			true,
		);
	}

	public function testFile(): void
	{
		$tipText = 'Because the type is coming from a PHPDoc, you can turn off this check by setting <fg=cyan>treatPhpDocTypesAsCertain: false</> in your <fg=cyan>%configurationFile%</>.';
		$expectedErrors = [
			[
				'Parameter #1 $array (array{0, 1, 3}) of array_values is already a list, call has no effect.',
				8,
			],
			[
				'Parameter #1 $array (array{1, 3}) of array_values is already a list, call has no effect.',
				9,
			],
			[
				'Parameter #1 $array (array{\'test\'}) of array_values is already a list, call has no effect.',
				10,
			],
			[
				'Parameter #1 $array (array{\'\', \'test\'}) of array_values is already a list, call has no effect.',
				12,
			],
			[
				'Parameter #1 $array (list<int>) of array_values is already a list, call has no effect.',
				14,
				$tipText,
			],
			[
				'Parameter #1 $array (array{0}) of array_values is already a list, call has no effect.',
				17,
			],
			[
				'Parameter #1 $array (array{null, null}) of array_values is already a list, call has no effect.',
				19,
			],
			[
				'Parameter #1 $array (array{null, 0}) of array_values is already a list, call has no effect.',
				20,
			],
			[
				'Parameter #1 $array (array{}) to function array_values is empty, call has no effect.',
				21,
			],
			[
				'Parameter #1 $array (array{}) to function array_values is empty, call has no effect.',
				25,
				$tipText,
			],
		];

		if (PHP_VERSION_ID >= 80000) {
			$expectedErrors[] = [
				'Parameter #1 $array (list<int>) of array_values is already a list, call has no effect.',
				28,
				$tipText,
			];
		} else {
			$expectedErrors[] = [
				'Parameter #1 $array (true) to function array_values is empty, call has no effect.',
				27,
			];
			$expectedErrors[] = [
				'Parameter #1 $array (true) to function array_values is empty, call has no effect.',
				28,
			];
		}

		$this->analyse([__DIR__ . '/data/array_values_list.php'], $expectedErrors);
	}

	public function testBug13629(): void
	{
		$this->analyse([__DIR__ . '/../../Analyser/nsrt/bug-13629.php'], []);
	}

}