phpstan-src/tests/PHPStan/Analyser/nsrt/bug-14201.php at dc0c8b3bf60d8a04b77188313ff624ea7ef6ece6 · phpstan-bot/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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
<?php // lint >= 8.0

declare(strict_types = 1);

namespace Bug14201;

use function PHPStan\Testing\assertType;

class Foo { public function __construct(public string $fooName) {}}
class Bar { public function __construct(public string $barName) {}}

class HelloWorld
{
	/**
	 * @param Foo[]|Bar[] $items
	 */
	public function doitMatch(array $items): void
	{
		if ([] === $items) {return; }

		$first = reset($items);
		match (true) {
			$first instanceOf Foo => array_map(function ($i) {
				assertType('Bug14201\Foo', $i);
				return $i->fooName;
			}, $items),
			$first instanceOf Bar => array_map(function ($i) {
				assertType('Bug14201\Bar', $i);
				return $i->barName;
			}, $items),
			default => throw new \RuntimeException('None of Foo nor Bar')
		};
	}

	/**
	 * @param Foo[]|Bar[] $items
	 */
	public function doitIf(array $items): void
	{
		if ([] === $items) {return; }

		$first = reset($items);
		if ($first instanceof Foo) {
			assertType('non-empty-array<Bug14201\Foo>', $items);
			array_map(function ($i) {
				assertType('Bug14201\Foo', $i);
				return $i->fooName;
			}, $items);
		} elseif ($first instanceof Bar) {
			assertType('non-empty-array<Bug14201\Bar>', $items);
			array_map(function ($i) {
				assertType('Bug14201\Bar', $i);
				return $i->barName;
			}, $items);
		}
	}

	/**
	 * @param array<Foo|Bar> $items
	 */
	public function doitMatchArrayUnion(array $items): void
	{
		if ([] === $items) {return; }

		$first = reset($items);
		match (true) {
			$first instanceOf Foo => array_map(function ($i) {
				assertType('Bug14201\Foo', $i);
				return $i->fooName;
			}, $items),
			$first instanceOf Bar => array_map(function ($i) {
				assertType('Bug14201\Bar', $i);
				return $i->barName;
			}, $items),
			default => throw new \RuntimeException('None of Foo nor Bar')
		};
	}

	/**
	 * @param array<Foo|Bar> $items
	 */
	public function doitIfArrayUnion(array $items): void
	{
		if ([] === $items) {return; }

		$first = reset($items);
		if ($first instanceof Foo) {
			assertType('non-empty-array<Bug14201\Foo>', $items);
			array_map(function ($i) {
				assertType('Bug14201\Foo', $i);
				return $i->fooName;
			}, $items);
		} elseif ($first instanceof Bar) {
			assertType('non-empty-array<Bug14201\Bar>', $items);
			array_map(function ($i) {
				assertType('Bug14201\Bar', $i);
				return $i->barName;
			}, $items);
		}
	}
}