Scala converte il parametro di tipo ricorsivo limitata (F-delimitata) di digitare membro

Question

Come faccio a convertire:

trait Foo[A <: Foo[A]] 

a un membro tipo?

cioè voglio qualcosa sulla falsariga di quanto segue:

trait Foo { 
    type A <: Foo {type A = ???} 
} 

ma sto avendo difficoltà a causa del nome A è già presa entro il tipo di raffinatezza. Questa domanda è simile (e generato da): F-bounded quantification through type member instead of type parameter?

Answer 1

Usare un auto-tipo:

scala> trait Foo { self => type A <: Foo {type A = self.A}} 
defined trait Foo 

scala> class Bar extends Foo { type A = Bar } 
defined class Bar 

scala> class Bar extends Foo { type A = Int } 
<console>:10: error: overriding type A in trait Foo with bounds <: Foo{type A = Bar.this.A}; 
type A has incompatible type 
     class Bar extends Foo { type A = Int } 
            ^