Fix generation of arginfo if type is just null

This commit is contained in:
George Peter Banyard 2022-04-11 16:57:05 +01:00
parent 7daa8b77a6
commit 7710f9946b
2 changed files with 5 additions and 1 deletions

View file

@ -510,6 +510,10 @@ class Type {
public function tryToSimpleType(): ?SimpleType {
$withoutNull = $this->getWithoutNull();
/* type has only null */
if (count($withoutNull->types) === 0) {
return $this->types[0];
}
if (count($withoutNull->types) === 1) {
return $withoutNull->types[0];
}

View file

@ -257,7 +257,7 @@ ZEND_END_ARG_INFO()
ZEND_BEGIN_ARG_WITH_TENTATIVE_RETURN_TYPE_INFO_EX(arginfo_class_SplFileObject_hasChildren, 0, 0, IS_FALSE, 0)
ZEND_END_ARG_INFO()
ZEND_BEGIN_ARG_WITH_TENTATIVE_RETURN_TYPE_MASK_EX(arginfo_class_SplFileObject_getChildren, 0, 0, MAY_BE_NULL)
ZEND_BEGIN_ARG_WITH_TENTATIVE_RETURN_TYPE_INFO_EX(arginfo_class_SplFileObject_getChildren, 0, 0, IS_NULL, 1)
ZEND_END_ARG_INFO()
ZEND_BEGIN_ARG_WITH_TENTATIVE_RETURN_TYPE_INFO_EX(arginfo_class_SplFileObject_seek, 0, 1, IS_VOID, 0)