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();
}
}