phpstan-src/tests/PHPStan/Analyser/nsrt/bug-14362.php at 04f8a96a2229d850ab93799a78d9b8a3b736b1fa · 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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
<?php // lint >= 8.1

declare(strict_types = 1);

namespace Bug14362;

use function PHPStan\Testing\assertType;

interface A
{
	public function __invoke(B $b): int;
}

interface B
{

}

class C {
	public static function u(): A&B {
		return new class() implements A, B {
			public function __invoke(B $b): int {
				return 1;
			}
		};
	}
}

class D {
	public static function u(): A {
		return new class() implements A {
			public function __invoke(B $b): int {
				return 1;
			}
		};
	}
}

interface E
{

}

class G {
	public static function u(): A&B&E {
		return new class() implements A, B, E {
			public function __invoke(B $b): int {
				return 1;
			}
		};
	}
}

class H {
	public static function u(): B&E {
		return new class() implements B, E {
		};
	}
}

function () : void {
	assertType('Closure(Bug14362\B): int', C::u()(...));
	assertType('Closure(Bug14362\B): int', D::u()(...));

	// Intersection with one yes-callable and multiple maybe-callable types
	assertType('Closure(Bug14362\B): int', G::u()(...));

	// Intersection with only maybe-callable types (neither has __invoke)
	assertType('Closure', H::u()(...));
};