src/Phan/Language/Type/NonEmptyArrayInterface.php
<?php
declare(strict_types=1);
namespace Phan\Language\Type;
/**
* Common functionality for types such as `non-empty-list` and `non-empty-array`
* @phan-pure
*/
interface NonEmptyArrayInterface
{
/**
* Convert this to the related type that's allowed to be empty
*/
public function asPossiblyEmptyArrayType(): ArrayType;
}