phpstan-src/tests/PHPStan/Rules/Functions/data/bug-7156.php at 529e07bedb7447cbc823b9df568b365fde8d4ff3 · staabm/phpstan-src · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
<?php

namespace Bug7156;


use function PHPStan\Testing\assertType;

/**
 * @param array{value: string} $foo
 */
function foo($foo): void {
	print_r($foo);
}

/**
 * @param array<mixed> $data
 */
function foobar(array $data): void
{
	if (!array_key_exists('value', $data) || !is_string($data['value'])) {
		throw new \RuntimeException();
	}

	assertType("non-empty-array&hasOffsetValue('value', string)", $data);

	foo($data);
}

function foobar2(mixed $data): void
{
	if (!is_array($data) || !array_key_exists('value', $data) || !is_string($data['value'])) {
		throw new \RuntimeException();
	}

	assertType("non-empty-array<mixed, mixed>&hasOffsetValue('value', string)", $data);

	foo($data);
}