Diferença entre este e o eu nas anotações de tipo próprio?

Em várias publicações da Scala, vejo algumas anotações do tipo auto usando "this" e outras usando "self":

trait A { this: B => ... }
trait A { self: B => ... }

Existe alguma diferença real entre usar "this" ou "self"? Importa o nome que você usa? Isso é tão válido?

trait A { foo: B => ... }

Todas as três formas são válidas e têm o efeito Bassumido como o tipo de thisclasse A.

As duas primeiras variantes

trait A { self: B => ... }
trait A { foo: B => ... }

introduzir self(respectivamente foo) como um alias para thisna característica A. Isso é útil para acessar a thisreferência de uma classe interna. Ou seja, você poderia usar em selfvez de A.thisacessar a thisreferência do traço Ade uma classe aninhada dentro dele. Exemplo:

class MyFrame extends JFrame { frame =>    
  getContentPane().add( new JButton( "Hide" ) {
    addActionListener( new ActionListener {
      def actionPerformed( e: ActionEvent ) {
        // this.setVisible( false ) --> shadowed by JButton!
        frame.setVisible( false )
      }
    })
  })
}

A terceira variante,

trait A { this: B => ... }

não introduz um alias para this; apenas define o tipo de auto.

Há uma diferença em que thissempre se refere ao objeto definido pelo modelo mais interno.

A expressão thispode aparecer na parte da instrução de um modelo ou tipo de composto. Representa o objeto sendo definido pelo modelo mais interno ou pelo tipo de composto que inclui a referência. Se este é um tipo de composto, o tipo de thisé esse tipo de composto. Se é um modelo de uma definição de classe ou objeto com nome simples C , o tipo de presente é o mesmo que o tipo de C . this. (Ref. Scala §6.5)

Portanto, se você chamar seu tipo próprio foo, ainda poderá se referir a ele como this(a menos que, é claro, esteja em um modelo interno; nesse caso, thisele se referirá ao objeto definido por ele - e a menos que você não dê o interior o modelo digita o mesmo nome), mas obviamente não o contrário.