phpstan-src/tests/PHPStan/Analyser/nsrt/bug-5051.php at 22f51ec6f2a40a8008929cd3a61b2fb816b9eaa3 · 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
<?php declare(strict_types = 1);

namespace Bug5051;

use function PHPStan\Testing\assertType;

class HelloWorld
{
	public function test(?object $data): void
	{
		if ($data === null) {
			$foo = 'bar';
			$update = false;
		} else {
			$foo = 'baz';
			$update = true;
		}

		assertType('object|null', $data);
		assertType("'bar'|'baz'", $foo);

		if ($update) {
			assertType('object', $data);
		}
	}

	public function testWithBooleans(?object $data): void
	{
		if ($data === null) {
			$update = false;
			$foo = false;
		} else {
			$update = true;
			$foo = true;
		}

		if ($update) {
			assertType('object', $data);
		}
	}

	public function testWithDifferentVariableNames(?object $data): void
	{
		if ($data === null) {
			$update = false;
			$foo = 'bar';
		} else {
			$update = true;
			$fuu = 'baz';
		}

		if ($update) {
			assertType('object', $data);
		}
	}

	public function testWithoutExtraAssignment(?object $data): void
	{
		if ($data === null) {
			$update = false;
		} else {
			$update = true;
		}

		if ($update) {
			assertType('object', $data);
		}
	}
}