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

namespace Bug12686;

use function PHPStan\Testing\assertType;

/** @phpstan-impure */
$f = function (): bool {
	return (bool) rand(0,1);
};

if ($f()) {
	assertType('bool', $f());
}

// Pure closure should still have narrowing
$h = function (): bool {
	return true;
};

if ($h()) {
	assertType('true', $h());
}

// Multiple callable parameter acceptors (union of closures)
// When one variant is impure, the combined result should be impure
/** @phpstan-impure */
$impure = function (): bool {
	return (bool) rand(0, 1);
};

$pure = function (): bool {
	return true;
};

if (rand(0, 1)) {
	$g = $impure;
} else {
	$g = $pure;
}

if ($g()) {
	assertType('bool', $g());
}

// Multiple callable parameter acceptors where all are pure
$pure1 = function (): bool {
	return true;
};

$pure2 = function (): bool {
	return true;
};

if (rand(0, 1)) {
	$p = $pure1;
} else {
	$p = $pure2;
}

if ($p()) {
	assertType('true', $p());
}