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

add a little details to the Incompatible types found for T error

Browse Source
This commit is contained in:
orklah 2021-10-09 15:01:13 +02:00
parent d8f42d7281
commit e9f3e8795f
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Psalm/Internal/Analyzer/Statements/Expression/CallAnalyzer.php
View File

@ -30,6 +30,7 @@ use function array_map;
use function array_merge; use function array_merge;
use function array_unique; use function array_unique;
use function count; use function count;
use function implode;
use function in_array; use function in_array;
use function is_int; use function is_int;
use function preg_match; use function preg_match;
@ -1047,7 +1048,8 @@ class CallAnalyzer
if (count($equality_types) > 1) { if (count($equality_types) > 1) {
if (IssueBuffer::accepts( if (IssueBuffer::accepts(
new InvalidArgument( new InvalidArgument(
'Incompatible types found for ' . $template_name, 'Incompatible types found for ' . $template_name . ' must have only one of (' .
implode(', ', $equality_types) . ')',
$code_location, $code_location,
$function_id $function_id
), ),
@ -1061,7 +1063,9 @@ class CallAnalyzer
if (!in_array($lower_bound->type->getId(), $equality_types, true)) { if (!in_array($lower_bound->type->getId(), $equality_types, true)) {
if (IssueBuffer::accepts( if (IssueBuffer::accepts(
new InvalidArgument( new InvalidArgument(
'Incompatible types found for ' . $template_name, 'Incompatible types found for ' . $template_name . ' (' .
$lower_bound->type->getId() . ' is not in ' .
implode(', ', $equality_types) . ')',
$code_location, $code_location,
$function_id $function_id
), ),