danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-26 12:24:49 +01:00
Code Issues Projects Releases Wiki Activity

Fix #5070 – fix static return type inference in static methods

Browse Source
This commit is contained in:
Matt Brown 2021-01-22 09:58:09 -05:00 committed by Daniil Gentili
parent 822464cbaf
commit 2004f8aadb
Signed by: danog
GPG Key ID: 8C1BE3B34B230CA7
3 changed files with 38 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Psalm/Internal/Analyzer/Statements/Expression/Call/StaticMethod/ExistingAtomicStaticCallAnalyzer.php
View File

@ -299,7 +299,8 @@ class ExistingAtomicStaticCallAnalyzer
true,
false,
\is_string($static_type)
&& $static_type !== $context->self
&& ($static_type !== $context->self
|| $class_storage->final)
);
$return_type_location = $codebase->methods->getMethodReturnTypeLocation(

2
src/Psalm/Internal/Type/TypeExpander.php
View File

@ -165,6 +165,8 @@ class TypeExpander
$return_type->extra_types[$extra_static_type->getKey()] = clone $extra_static_type;
}
}
} elseif ($return_type->was_static && is_string($static_class_type) && $final) {
$return_type->value = $static_class_type;
} elseif ($self_class && $return_type_lc === 'self') {
$return_type->value = $self_class;
} elseif ($parent_class && $return_type_lc === 'parent') {

34
tests/MethodSignatureTest.php
View File

@ -869,6 +869,40 @@ class MethodSignatureTest extends TestCase
[],
'7.4'
],
'extendStaticReturnTypeInFinal' => [
'<?php
final class B extends A
{
public static function doCretate1(): self
{
return self::create1();
}
public static function doCretate2(): self
{
return self::create2();
}
}
abstract class A
{
final private function __construct() {}
final protected static function create1(): static
{
return new static();
}
/** @return static */
final protected static function create2()
{
return new static();
}
}',
[],
[],
'8.0'
],
];
}