danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-27 04:45:20 +01:00
Code Issues Projects Releases Wiki Activity

Don’t add @psalm-pure for void-returning functions

Browse Source
This commit is contained in:
Matthew Brown 2020-08-23 13:58:34 -04:00
parent ef0486ce35
commit 6efaf474d4
1 changed files with 25 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/Psalm/Internal/Analyzer/FunctionLikeAnalyzer.php
View File

@ -593,7 +593,31 @@ abstract class FunctionLikeAnalyzer extends SourceAnalyzer
$this->function
);
$manipulator->makePure();
$yield_types = [];
$inferred_return_types = ReturnTypeCollector::getReturnTypes(
$codebase,
$type_provider,
$function_stmts,
$yield_types,
true
);
$inferred_return_type = $inferred_return_types
? \Psalm\Type::combineUnionTypeArray(
$inferred_return_types,
$codebase
)
: null;
if ($inferred_return_type
&& !$inferred_return_type->isVoid()
&& !$inferred_return_type->isFalse()
&& !$inferred_return_type->isTrue()
&& !$inferred_return_type->getId() !== 'array<empty, empty>'
) {
$manipulator->makePure();
}
}
if (!$context->collect_initializations