Scala: Тип соответствия псевдонима типа с верхней границей

Question

Мой вопрос прост.

Почему этот код делает ошибку,

abstract class A { 
    type T <: A.Inner 
    def toT: T = new A.Inner(this) 
} 

object A { 
    class Inner(a: A) 
} 

// Exiting paste mode, now interpreting. 

<console>:16: error: type mismatch; 
found : A.Inner 
required: A.this.T 
     def toT: T = new A.Inner(this) 
        ^

тогда этот код не?

abstract class A { 
    type T = A.Inner 
    def toT: T = new A.Inner(this) 
} 

object A { 
    class Inner(a: A) 
} 

// Exiting paste mode, now interpreting. 

defined class A 
defined object A 

A.Inner <: A.Inner. Не так ли?

Answer 1

Здесь следует использовать Нижнюю границу:

abstract class A { 
    type T >: A.Inner 
    def toT: T = new A.Inner(this) 
} 

object A { 
    class Inner(a: A) 
} 

Только если T является предком A.Inner, то A.Inner может быть преобразован в T. Мы используем нижнюю границу для ограничения T является предком A.Inner.