Array after typecasting does not count as array

[Anamelash]

Bug report

<?php declare(strict_types = 1);

class Bar
{
	/** 
	* @var array|mixed|null
	*/
	private $bar = null;
	
	/**
	* @return array|mixed|null
	*/
	public function getBar()
	{
		return $this->bar;
	}
}

class Foo
{
	public function getFoo(Bar $bar): void
        {
            $array = (array) $bar->getBar();
            $statusCode = array_key_exists('key', $array) ? (string) $array['key'] : null;
	}
}

24 | Parameter #2 $array of function array_key_exists expects array, array given.

https://phpstan.org/r/e1579418-17bf-46dc-8c57-97e382ccde79

Obviously $array is array. But PhpStan thinks different (=

[phpstan-bot]

@Anamelash After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-PHP 8.0 (1 error)
-==========
-
-24: Parameter #2 $array of function array_key_exists expects array, array given.
-
-PHP 7.1 – 7.4 (1 error)
-==========
-
-24: Parameter #2 $search of function array_key_exists expects array, array given.
+No errors

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.