Hi,

recently I got the following phpStan error:
Line 70: Call to function in_array() with arguments *NEVER*, array<int, string> and true will always evaluate to true.

My code is

64        $hash = \md5($key . $value . (int) $isVisible);
65
66        if (true === \in_array($hash, $this->itemMetaHashes, true)) {
67            return;
68        }
69
70        if (true === \in_array($hash, $this->currentMetaHashes, true)) {
71            $this->itemMetaHashes[] = $hash;
72
73            return;
74        }

Both $this->itemMetaHashes and $this->currentMetaHashes are arrays of strings.

When I do a type annotation above the second if-statement, the phpStan error doesn't occur anymore:
/** @var string $hash */

I don't understand why this happens. It looks like phpStan looses the information about the type of $hash during the first if-statement.
Can somebody explain to me why this is the case?

Thanks,
Cassandra