danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2025-01-22 13:51:54 +01:00
Code Issues Projects Releases Wiki Activity

Fix test

Browse Source
This commit is contained in:
Brown 2020-08-28 14:07:01 -04:00 committed by Daniil Gentili
parent 9fcbe0a454
commit 5232f3012c
Signed by: danog
GPG Key ID: 8C1BE3B34B230CA7
1 changed files with 3 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tests/ReturnTypeTest.php
View File

@ -1241,10 +1241,7 @@ class ReturnTypeTest extends TestCase
return function($iter) use ($predicate): int { return function($iter) use ($predicate): int {
return 1; return 1;
}; };
} }',
$res = map(function(int $i): string { return (string) $i; })([1,2,3]);
',
'error_message' => 'InvalidReturnStatement - src' . DIRECTORY_SEPARATOR . 'somefile.php:9:28 - The inferred type \'pure-Closure(iterable<mixed, T:fn-map as mixed>):int(1)\' does not match the declared return type \'callable(iterable<mixed, T:fn-map as mixed>):iterable<mixed, U:fn-map as mixed>\' for map', 'error_message' => 'InvalidReturnStatement - src' . DIRECTORY_SEPARATOR . 'somefile.php:9:28 - The inferred type \'pure-Closure(iterable<mixed, T:fn-map as mixed>):int(1)\' does not match the declared return type \'callable(iterable<mixed, T:fn-map as mixed>):iterable<mixed, U:fn-map as mixed>\' for map',
], ],
'cannotInferReturnClosureWithDifferentTypes' => [ 'cannotInferReturnClosureWithDifferentTypes' => [
@ -1256,11 +1253,8 @@ class ReturnTypeTest extends TestCase
*/ */
function map(): callable { function map(): callable {
return function(B $v): void {}; return function(B $v): void {};
} }',
'error_message' => 'InvalidReturnStatement - src' . DIRECTORY_SEPARATOR . 'somefile.php:8:28 - The inferred type \'impure-Closure(B):void\' does not match the declared return type \'callable(A):void\' for map',
$res = map(function(int $i): string { return (string) $i; })([1,2,3]);
',
'error_message' => 'InvalidReturnStatement - src' . DIRECTORY_SEPARATOR . 'somefile.php:8:28 - The inferred type \'Closure(B):void\' does not match the declared return type \'callable(A):void\' for map',
], ],
'compareObjectLikeToAlwaysFilledArray' => [ 'compareObjectLikeToAlwaysFilledArray' => [
'<?php '<?php