File tree Expand file tree Collapse file tree 6 files changed +16
-9
lines changed Expand file tree Collapse file tree 6 files changed +16
-9
lines changed Original file line number Diff line number Diff line change 6
6
7
7
use loophp \combinator \Combinator ;
8
8
9
+ /**
10
+ * Class BadCombinator.
11
+ *
12
+ * @psalm-immutable
13
+ */
9
14
class BadCombinator extends Combinator
10
15
{
11
16
}
Original file line number Diff line number Diff line change 8
8
9
9
/**
10
10
* @param callable(int): string $f
11
- * @param string $x
11
+ * @param int $x
12
12
*
13
13
* @return string
14
14
*/
Original file line number Diff line number Diff line change 10
10
* @param string $x
11
11
* @param int $y
12
12
*
13
- * @return int
13
+ * @return string
14
14
*/
15
15
function test ($ x , $ y )
16
16
{
Original file line number Diff line number Diff line change 7
7
use loophp \combinator \Combinator \U as Combinator ;
8
8
9
9
/**
10
- * @param callable(int): mixed $f
10
+ * @param callable(callable):callable $f
11
11
* @param callable(int): mixed $g
12
12
*
13
13
* @return mixed
Original file line number Diff line number Diff line change 4
4
5
5
namespace loophp \combinator \Tests \StaticAnalysis ;
6
6
7
+ use Closure ;
7
8
use loophp \combinator \Combinator \Y as Combinator ;
8
9
9
10
/**
10
- * @param callable(int ): callable $f
11
+ * @param callable(callable ): Closure $f
11
12
*
12
- * @return callable
13
+ * @return Closure
13
14
*/
14
- function test (callable $ f )
15
+ function test (callable $ f ): Closure
15
16
{
16
17
return (new Combinator ($ f ))();
17
18
}
Original file line number Diff line number Diff line change 4
4
5
5
namespace loophp \combinator \Tests \StaticAnalysis ;
6
6
7
+ use Closure ;
7
8
use loophp \combinator \Combinator \Z as Combinator ;
8
9
9
10
/**
10
- * @param callable(int ): callable $f
11
+ * @param callable(callable ): Closure $f
11
12
*
12
- * @return callable
13
+ * @return Closure
13
14
*/
14
- function test (callable $ f )
15
+ function test (callable $ f ): Closure
15
16
{
16
17
return (new Combinator ($ f ))();
17
18
}
You can’t perform that action at this time.
0 commit comments