phpstan-src/tests/PHPStan/Rules/Classes/data/bug-13440.php at f29c09c72c5d15bf98e40e4ef59f8b5f9f8ab75d · VincentLanglet/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
<?php // lint >= 8.0

declare(strict_types = 1);

namespace Bug13440;

use Closure;

/** @template T */
interface Foo {}

/**
 * @template TVal
 * @template TReturn
 */
class Box
{
    /**
     * @param TVal $val
     * @param Closure(Foo<TVal>): TReturn $cb
     */
    public function __construct(
        private mixed $val,
        private Closure $cb,
    ) {
    }

    /**
     * @template TNewReturn
     * @param Closure(Foo<TVal>): TNewReturn $cb
     * @return self<TVal, TNewReturn>
     */
    public function test(Closure $cb): self
    {
        return new self($this->val, $cb);
    }
}

/**
 * @template TVal
 * @template TReturn
 */
class Box2
{
	/**
	 * @param TVal $val
	 * @param callable(Foo<TVal>): TReturn $cb
	 */
	public function __construct(
		private mixed $val,
		private $cb,
	) {
	}

	/**
	 * @template TNewReturn
	 * @param callable(Foo<TVal>): TNewReturn $cb
	 * @return self<TVal, TNewReturn>
	 */
	public function test($cb): self
	{
		return new self($this->val, $cb);
	}
}