phpstan-src/tests/PHPStan/Rules/Pure/data/bug-14557-function.php at 998d1018efc07f56a2e56aeb24a7e1eabb81698c · 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
<?php // lint >= 8.1

declare(strict_types = 1);

namespace Bug14557Function;

enum MyEnum: string
{
	case Foo = 'foo';
	case Bar = 'bar';
}

/**
 * @param enum-string<MyEnum> $enum
 * @phpstan-pure
 */
function fromEnumString(string $enum): MyEnum
{
	return $enum::from('foo');
}

/**
 * @param enum-string<MyEnum> $enum
 * @phpstan-pure
 */
function tryFromEnumString(string $enum): ?MyEnum
{
	return $enum::tryFrom('foo');
}

/**
 * @param class-string<MyEnum> $enum
 * @phpstan-pure
 */
function fromClassString(string $enum): MyEnum
{
	return $enum::from('foo');
}

/**
 * @param class-string<MyEnum> $enum
 * @phpstan-pure
 */
function tryFromClassString(string $enum): ?MyEnum
{
	return $enum::tryFrom('foo');
}

/**
 * @phpstan-pure
 */
function fromEnum(MyEnum $enum): MyEnum
{
	return $enum::from('foo');
}