danog/psalm-plugin-laravel
1
0
Fork 0
mirror of https://github.com/danog/psalm-plugin-laravel.git synced 2025-01-22 21:31:21 +01:00
Code Issues Packages Projects Releases Wiki Activity

test: ensure head/last work correctly

Browse Source
This commit is contained in:
Claas Augner 2021-07-05 11:22:17 +02:00
parent 997c3e6144
commit 0369da4a30
1 changed files with 32 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
tests/acceptance/Helpers.feature
View File

@ -31,6 +31,38 @@ Feature: helpers
When I run Psalm
Then I see no errors
Scenario: head and last support
Given I have the following code
"""
/**
* @return false
*/
function empty_head()
{
return head([]);
}
/**
* @return false
*/
function empty_last()
{
return last([]);
}
function non_empty_head(): int
{
return last([1, 2, 3]);
}
function non_empty_last(): int
{
return last([1, 2, 3]);
}
"""
When I run Psalm
Then I see no errors
Scenario: optional support
Given I have the following code
"""
@ -38,7 +70,6 @@ Feature: helpers
{
return optional($user)->getMessage();
}
"""
When I run Psalm
Then I see no errors
@ -58,7 +89,6 @@ Feature: helpers
{
return logger();
}
"""
When I run Psalm
Then I see no errors