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

Fix #168 and add test case

Browse Source
This commit is contained in:
Matthew Brown 2017-06-11 19:20:07 -04:00
parent 90d0d12f6c
commit 72e1221a2f
2 changed files with 19 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Psalm/Checker/TypeChecker.php
View File

@ -750,7 +750,7 @@ class TypeChecker
$input_type_part instanceof TNamedObject $input_type_part instanceof TNamedObject
) { ) {
// check whether the object has a __toString method // check whether the object has a __toString method
if (ClassChecker::classExists($input_type_part->value, $file_checker) && if (ClassChecker::classOrInterfaceExists($input_type_part->value, $file_checker) &&
MethodChecker::methodExists($input_type_part->value . '::__toString', $file_checker) MethodChecker::methodExists($input_type_part->value . '::__toString', $file_checker)
) { ) {
$to_string_cast = true; $to_string_cast = true;

14
tests/ToStringTest.php
View File

@ -96,6 +96,20 @@ class ToStringTest extends TestCase
fooFoo(new A());', fooFoo(new A());',
'error_message' => 'ImplicitToStringCast', 'error_message' => 'ImplicitToStringCast',
], ],
'implicitCastFromInterface' => [
'<?php
interface I {
public function __toString();
}
function takesString(string $str) : void { }
function takesI(I $i) : void
{
takesString($i);
}',
'error_message' => 'ImplicitToStringCast',
]
]; ];
} }
} }