unionTypeAnalyzer = $unionTypeAnalyzer; } public function isAlwaysTruableType(Type $type) : bool { if ($type instanceof MixedType) { return \false; } if ($type instanceof ConstantArrayType) { return \true; } if ($type instanceof ArrayType) { return $this->isAlwaysTruableArrayType($type); } if ($type instanceof UnionType && $this->unionTypeAnalyzer->isNullable($type)) { return \false; } // always trueish if ($type instanceof ObjectType) { return \true; } if ($type instanceof ConstantScalarType && !$type instanceof NullType) { return (bool) $type->getValue(); } if ($type->isScalar()->yes()) { return \false; } return $this->isAlwaysTruableUnionType($type); } private function isAlwaysTruableUnionType(Type $type) : bool { if (!$type instanceof UnionType) { return \false; } foreach ($type->getTypes() as $unionedType) { if (!$this->isAlwaysTruableType($unionedType)) { return \false; } } return \true; } private function isAlwaysTruableArrayType(ArrayType $arrayType) : bool { $itemType = $arrayType->getItemType(); if (!$itemType instanceof ConstantScalarType) { return \false; } return (bool) $itemType->getValue(); } }