phpstan-src/tests/PHPStan/Analyser/nsrt/bug-14319.php at e151f738702dbdc527c0952fccd75915abbad5ff · 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
<?php

namespace Bug14319;

use function PHPStan\Testing\assertType;

function foo(string $a, int $b): array|object
{
	return $a;
}


final class test
{
	protected function edit(int|string|null $IdNum = null): void
	{
		$rows = foo("SELECT *", $IdNum);
		assertType('array|object', $rows);

		if ($_POST['edycja'] === 'edycja' ) {
			$raport = '';
			if ($rows['rap_tr']) {
				$raport .= 'T: '.$rows['rap_tr'].", \n";
			}
			if ($rows['rap_ks']) {
				$raport .= 'K: '.$rows['rap_ks'].", \n";
			}
			if ($rows['rap_br']) {
				$raport .= 'B: '.$rows['rap_br'].", \n";
			}
			if ($rows['rap_cz']) {
				$raport .= 'C: '.$rows['rap_cz'].", \n";
			}
			if ($rows['rap_fil']) {
				$raport .= 'Fil: '.$rows['rap_fil'].", \n";
			}
			if ($rows['rap_roz']) {
				$raport .= 'Roz: '.$rows['rap_roz'].", \n";
			}
			if ($rows['rap_roz2']) {
				$raport .= 'Roz: '.$rows['rap_roz2'].", \n";
			}
			if ($rows['rap_roz3']) {
				$raport .= 'Roz: '.$rows['rap_roz3'].", \n";
			}
			assertType("(non-empty-array&hasOffsetValue('rap_br', mixed)&hasOffsetValue('rap_ks', mixed)&hasOffsetValue('rap_tr', mixed))|(ArrayAccess&hasOffsetValue('rap_br', 0|0.0|''|'0'|array{}|false|null)&hasOffsetValue('rap_ks', 0|0.0|''|'0'|array{}|false|null)&hasOffsetValue('rap_tr', 0|0.0|''|'0'|array{}|false|null))|(ArrayAccess&hasOffsetValue('rap_br', 0|0.0|''|'0'|array{}|false|null)&hasOffsetValue('rap_ks', 0|0.0|''|'0'|array{}|false|null)&hasOffsetValue('rap_tr', mixed~(0|0.0|''|'0'|array{}|false|null)))|(ArrayAccess&hasOffsetValue('rap_br', 0|0.0|''|'0'|array{}|false|null)&hasOffsetValue('rap_ks', mixed~(0|0.0|''|'0'|array{}|false|null))&hasOffsetValue('rap_tr', 0|0.0|''|'0'|array{}|false|null))|(ArrayAccess&hasOffsetValue('rap_br', 0|0.0|''|'0'|array{}|false|null)&hasOffsetValue('rap_ks', mixed~(0|0.0|''|'0'|array{}|false|null))&hasOffsetValue('rap_tr', mixed~(0|0.0|''|'0'|array{}|false|null)))|(ArrayAccess&hasOffsetValue('rap_br', mixed~(0|0.0|''|'0'|array{}|false|null))&hasOffsetValue('rap_ks', 0|0.0|''|'0'|array{}|false|null)&hasOffsetValue('rap_tr', 0|0.0|''|'0'|array{}|false|null))|(ArrayAccess&hasOffsetValue('rap_br', mixed~(0|0.0|''|'0'|array{}|false|null))&hasOffsetValue('rap_ks', 0|0.0|''|'0'|array{}|false|null)&hasOffsetValue('rap_tr', mixed~(0|0.0|''|'0'|array{}|false|null)))|(ArrayAccess&hasOffsetValue('rap_br', mixed~(0|0.0|''|'0'|array{}|false|null))&hasOffsetValue('rap_ks', mixed~(0|0.0|''|'0'|array{}|false|null))&hasOffsetValue('rap_tr', 0|0.0|''|'0'|array{}|false|null))|(ArrayAccess&hasOffsetValue('rap_br', mixed~(0|0.0|''|'0'|array{}|false|null))&hasOffsetValue('rap_ks', mixed~(0|0.0|''|'0'|array{}|false|null))&hasOffsetValue('rap_tr', mixed~(0|0.0|''|'0'|array{}|false|null)))", $rows);
		}
	}
}