phpstan-src/tests/PHPStan/Analyser/nsrt/bug-8442-83.php at 9afe071c7b2ebb31cc6effdf7e1865bd89a12f6a · phpstan/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
<?php // lint >= 8.3

namespace Bug8442Php83;

use stdClass;
use function PHPStan\Testing\assertType;
use DateInterval;

function () {
	assertType('*NEVER*', DateInterval::createFromDateString('foo'));
	assertType('DateInterval', DateInterval::createFromDateString('1 Day'));

	if (rand(0,1)) {
		$interval = '1 day';
	} else {
		$interval = '2 day';
	}

	assertType('DateInterval', DateInterval::createFromDateString($interval));

	if (rand(0,1)) {
		$interval = 'foo';
	} else {
		$interval = '2 day';
	}

	assertType('DateInterval', DateInterval::createFromDateString($interval));

	if (rand(0,1)) {
		$interval = 'foo';
	} else {
		$interval = 'foo';
	}

	assertType('*NEVER*', DateInterval::createFromDateString($interval));

	assertType('DateInterval',DateInterval::createFromDateString(str_shuffle('1 day')));
	assertType('DateInterval',DateInterval::createFromDateString());
	assertType('DateInterval',DateInterval::createFromDateString(new stdClass()));
};