phpstan-src/tests/PHPStan/Rules/Pure/data/bug-14511.php at 155d9378d33e79263b5a19f93e09cb4dcc09684c · 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
68
69
70
71
72
73
74
75
<?php declare(strict_types = 1);

namespace Bug14511;

/**
 * @phpstan-pure
 * @template T of mixed
 * @param T $val
 */
function testStringCast(mixed $val): ?string {
	if (is_int($val)) {
		return (string) $val;
	}
	return null;
}

/**
 * @phpstan-pure
 * @template T of mixed
 * @param T $val
 */
function testStringConcat(mixed $val): ?string {
	if (is_int($val)) {
		return 'value: ' . $val;
	}
	return null;
}

/**
 * @phpstan-pure
 * @template T of mixed
 * @param T $val
 */
function testFloatCast(mixed $val): ?string {
	if (is_float($val)) {
		return (string) $val;
	}
	return null;
}

/**
 * @phpstan-pure
 * @template T of mixed
 * @param T $val
 */
function testBoolCast(mixed $val): ?string {
	if (is_bool($val)) {
		return (string) $val;
	}
	return null;
}

/**
 * @phpstan-pure
 * @template T of mixed
 * @param T $val
 */
function testStringVal(mixed $val): ?string {
	if (is_string($val)) {
		return (string) $val;
	}
	return null;
}

/**
 * @phpstan-pure
 * @template T of mixed
 * @param T $val
 */
function testEmptyNonArray(mixed $val): ?string {
	if (empty($val) && !\is_array($val)) {
		return (string) $val;
	}
	return null;
}