¿Por qué la opción no extiende el rasgo Iterable directamente?

Question

Option es convertir implícitamente a un Iterable - pero ¿por qué no sólo acaba de poner en práctica Iterable directamente:

def iterator = new Iterator[A] { 
    var end = !isDefined 
    def next() = { 
    val n = if (end) throw new NoSuchElementException() else get 
    end = true 
    n 
    } 

    def hasNext = !end 
} 

EDIT:De hecho, es incluso Weider que eso, porque en el 2,8 Option sí declara un método iterator :

def iterator: Iterator[A] = 
    if (isEmpty) Iterator.empty else Iterator.single(this.get) 

Answer 1

Estoy pensando que hay demasiados métodos no absurdos que serían necesarios. Por ejemplo, ¿qué se espera que el valor de retorno sea para:

Some(1) ++ Some(2) 

Esto compila y evalúa actualmente a la lista (1,2) a través implícitos en 2.8, pero parece extraño.

Tal vez por eso los comentarios de documentación en 2,7 dicen:

Only potentially unbounded collections should directly sub-class Iterable 

Editar: Como se muestra en el comentario de @ MattR abajo, dejándome el doc-comentario recomendación de Colección subtipo puede inducir a error . Y teniendo en cuenta que se transforma esta pregunta en "¿Por qué la opción no extiende el rasgo de la colección?"