phpstan-src/tests/PHPStan/Analyser/nsrt/bug-12866.php at 312ee8dfd90dc59363d4dd76ae44232d2dcadc56 · 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
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
<?php // lint >= 8.0

declare(strict_types = 1);

namespace Bug12866;

use function PHPStan\Testing\assertType;

interface I
{
	/**
	 * @phpstan-assert-if-true A $this
	 */
	public function isA(): bool;
}

class A implements I
{
	public function isA(): bool
	{
		return true;
	}
}

class B implements I
{
	public function isA(): bool
	{
		return false;
	}
}

function takesI(I $i): void
{
	if (!$i->isA()) {
		return;
	}

	assertType('Bug12866\\A', $i);
}

function takesIStrictComparison(I $i): void
{
	if ($i->isA() !== true) {
		return;
	}

	assertType('Bug12866\\A', $i);
}

function takesNullableI(?I $i): void
{
	if (!$i?->isA()) {
		return;
	}

	assertType('Bug12866\\A', $i);
}

function takesNullableIStrictComparison(?I $i): void
{
	if ($i?->isA() !== true) {
		return;
	}

	assertType('Bug12866\\A', $i);
}