forked from phpstan/phpstan-src
-
Notifications
You must be signed in to change notification settings - Fork 0
/
DateTimeDynamicReturnTypes.php
57 lines (44 loc) · 2.03 KB
/
DateTimeDynamicReturnTypes.php
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
<?php declare(strict_types = 1);
namespace DateTimeDynamicReturnTypes;
use DateTime;
use DateTimeImmutable;
use function date_create_from_format;
use function PHPStan\Testing\assertType;
class Foo
{
public function createDynamic(string $format, string $datetime): void {
assertType('DateTime|false', date_create_from_format($format, $datetime));
assertType('DateTimeImmutable|false', date_create_immutable_from_format($format, $datetime));
}
public function staticInvalidFormat(): void {
assertType('false', date_create_from_format('Foobar', '2022-02-20'));
assertType('false', date_create_immutable_from_format('Foobar', '2022-02-20'));
}
public function staticInvalidDatetime(): void {
assertType('false', date_create_from_format('Y-m-d', '2022/02/20'));
assertType('false', date_create_immutable_from_format('Y-m-d', '2022/02/20'));
}
public function staticValidStrings(): void {
assertType('DateTime', date_create_from_format('Y-m-d', '2020-10-12'));
assertType('DateTimeImmutable', date_create_immutable_from_format('Y-m-d', '2020-10-12'));
}
public function localVariables(): void {
$format = 'Y-m-d';
$datetime = '2020-10-12';
assertType('DateTime', date_create_from_format($format, $datetime));
assertType('DateTimeImmutable', date_create_immutable_from_format($format, $datetime));
}
/**
* @param '2020-04-09'|'2022-02-01' $datetimes
* @param '1990-04-11'|'foo' $maybeDatetimes
* @param 'foo'|'bar' $noDatetimes
*/
public function unions(string $datetimes, string $maybeDatetimes, string $noDatetimes): void {
assertType('DateTime', date_create_from_format('Y-m-d', $datetimes));
assertType('DateTimeImmutable', date_create_immutable_from_format('Y-m-d', $datetimes));
assertType('DateTime|false', date_create_from_format('Y-m-d', $maybeDatetimes));
assertType('DateTimeImmutable|false', date_create_immutable_from_format('Y-m-d', $maybeDatetimes));
assertType('false', date_create_from_format('Y-m-d', $noDatetimes));
assertType('false', date_create_immutable_from_format('Y-m-d', $noDatetimes));
}
}