danog/psalm-plugin-laravel
1
0
Fork 0
mirror of https://github.com/danog/psalm-plugin-laravel.git synced 2024-11-26 20:34:48 +01:00
Code Issues Packages Projects Releases Wiki Activity

test: fix negative tests by including table headers. closes #18

Browse Source
This commit is contained in:
fiachra mcdermott 2021-06-29 00:26:56 -04:00
parent b607d290cc
commit afa4144523
3 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tests/acceptance/EloquentBuilderTypes.feature
View File

@ -143,6 +143,7 @@ Feature: Eloquent Builder Types
"""
When I run Psalm
Then I see these errors
| Type | Message |
| MixedInferredReturnType | Could not verify return type 'Illuminate\Database\Eloquent\Builder<User>' for UserRepository::test_failure |
| MixedReturnStatement | Could not infer a return type |

2
tests/acceptance/PathHelpers.feature
View File

@ -117,7 +117,7 @@ Feature: path helpers
require_once app()->make('path.public');
"""
When I run Psalm
Then I see these no errors
Then I see no errors
Scenario: resource path can be resolved
Given I have the following code

1
tests/acceptance/TaintAnalysis.feature
View File

@ -33,4 +33,5 @@ Feature: taint
"""
When I run Psalm with taint analysis
Then I see these errors
| Type | Message |
| TaintedInput | Detected tainted sql in path: Illuminate\Http\Request::input (/Users/brownma/Desktop/git/laravel-psalm-plugin/src/Stubs/InteractsWithInput.stubphp:22:21) -> $input (somefile.php:9:3) -> Illuminate\Support\Facades\DB::raw#1 (/Users/brownma/Desktop/git/laravel-psalm-plugin/src/Stubs/DBFacade.stubphp:15:25) |