Si el array esta vacio, hay muchas funciones y estructuras de control incluso de PHP que no lo reconocen como array sino directamente NULL
Si is_null o empty() .. no deberias hacer nada o si quieres casting a array
Código PHP:
public function getAllHeaders(){
return $this->all_headers= array_map("\imap_headerinfo", (array) $this->imap_stream, self::search("ALL"));
}
No le veo sentido al casting porque esta vacio... pero al menos no explotaria el array_map(), mejor chequea que no este vacio
