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

Allow scalar type refinement

Browse Source
This commit is contained in:
Matthew Brown 2017-04-07 00:19:55 -04:00
parent 40427839ea
commit 8910e4226c
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -340,6 +340,20 @@ class TypeChecker
}
}
if ($new_var_type === 'scalar') {
$scalar_types = [];
foreach ($existing_var_type->types as $type) {
if ($type instanceof Scalar) {
$scalar_types[] = $type;
}
}
if ($scalar_types) {
return new Type\Union($scalar_types);
}
}
$new_type = Type::parseString($new_var_type);
if ($existing_var_type->isMixed()) {