danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-27 04:45:20 +01:00
Code Issues Projects Releases Wiki Activity

Add simple test for high order function arg inference

Browse Source
This commit is contained in:
adrew 2022-01-18 12:48:53 +03:00
parent cce1f9a407
commit fac7115eae
1 changed files with 30 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
tests/CallableTest.php
View File

@ -233,7 +233,36 @@ class CallableTest extends TestCase
'$inferred' => 'list<Foo>',
],
],
'inferPartiallyAppliedClosureArgByPreviousFunctionArg' => [
'inferTemplateOfHighOrderFunctionArgByPreviousArg' => [
'<?php
/**
* @return list<int>
*/
function getList() { throw new RuntimeException("???"); }
/**
* @template T
* @return Closure(T): T
*/
function id() { throw new RuntimeException("???"); }
/**
* @template A
* @template B
*
* @param list<A> $_items
* @param callable(A): B $_ab
* @return list<B>
*/
function map(array $_items, callable $_ab) { throw new RuntimeException("???"); }
$result = map(getList(), id());
',
'assertions' => [
'$result' => 'list<int>',
],
],
'inferPipelineWithPartiallyAppliedFunctions' => [
'<?php
/**
* @template T