vimeo /
psalm
| @@ 863-874 (lines=12) @@ | ||
| 860 | || ($type instanceof TIterable && $type->has_docblock_params) |
|
| 861 | || ($type instanceof TArray && $type_key === 'iterable') |
|
| 862 | ) { |
|
| 863 | foreach ($type->type_params as $i => $type_param) { |
|
| 864 | if (isset($combination->builtin_type_params[$type_key][$i])) { |
|
| 865 | $combination->builtin_type_params[$type_key][$i] = Type::combineUnionTypes( |
|
| 866 | $combination->builtin_type_params[$type_key][$i], |
|
| 867 | $type_param, |
|
| 868 | $codebase, |
|
| 869 | $overwrite_empty_array |
|
| 870 | ); |
|
| 871 | } else { |
|
| 872 | $combination->builtin_type_params[$type_key][$i] = $type_param; |
|
| 873 | } |
|
| 874 | } |
|
| 875 | ||
| 876 | return null; |
|
| 877 | } |
|
| @@ 880-891 (lines=12) @@ | ||
| 877 | } |
|
| 878 | ||
| 879 | if ($type instanceof TGenericObject) { |
|
| 880 | foreach ($type->type_params as $i => $type_param) { |
|
| 881 | if (isset($combination->object_type_params[$type_key][$i])) { |
|
| 882 | $combination->object_type_params[$type_key][$i] = Type::combineUnionTypes( |
|
| 883 | $combination->object_type_params[$type_key][$i], |
|
| 884 | $type_param, |
|
| 885 | $codebase, |
|
| 886 | $overwrite_empty_array |
|
| 887 | ); |
|
| 888 | } else { |
|
| 889 | $combination->object_type_params[$type_key][$i] = $type_param; |
|
| 890 | } |
|
| 891 | } |
|
| 892 | ||
| 893 | return null; |
|
| 894 | } |
|
