4 * Test confilicting AKempty promotions - in one branch it's promoted to
5 * AKvarray, in another to AKdarray. Should be unresolved of those two afterwards.
7 function test(bool $b): void
{
14 // error - one of the branches result in a map-like array
18 function f(array<string> $_): void
{}