in-array-non-empty-php8.php

<?php  // lint >= 8.0

declare(strict_types = 1);

namespace InArrayNonEmptyPhp8;

use function PHPStan\Testing\assertType;

class HelloWorld
{
	/**
	 * @phpstan-param list<string> $array
	 */
	public function sayHello(array $array): void
	{
		if(in_array(haystack: $array, needle: "thing", strict: true)){
			assertType('non-empty-array<int, string>', $array);
		}
	}
}