Divertente osservazione sui tipi strutturali (ricorsivi) in Scala

Question

Avevo bisogno di un tipo strutturale ricorsivo in qualche parte di codice usando i tratti e il tipo strutturale come vincolo del parametro di tipo. Ha funzionato bene, ma in seguito ho imparato che Scala non supporta i tipi strutturali ricorsivi.

Così Qualcuno mi può spiegare perché questo funziona bene:

scala> trait Test[M[A] <: { def map[B](f: A => B) : M[B] } ] {} 
defined trait Test 

e questo non:

scala> def test[M[A] <: { def map[B](f: A => B) : M[B] } ] = null 
<console>:5: error: illegal cyclic reference involving type M 
     def test[M[A] <: { def map[B](f: A => B) : M[B] } ] = null 

Answer 1

Penso che questo sia un problema tecnico nel compilatore. Il seguente codice presenta lo stesso comportamento come codice iniziale:

trait Test[M[A] <: { def map: M[A] } ] {} 
def test[M[A] <: { def map: M[A] } ] = null 

Essa si traduce in un errore di compilazione: 'riferimento ciclico illegale'.

E il seguente codice non lo fa (cioè esso compila bene):

type S[M] = { def map: M } 

trait Test[M[A] <: S[M[A]] ] {} 
def test[M[A] <: S[M[A]] ] = null 

L'unica differenza è che digitando strutturale viene applicato attraverso un tipo alias S qui.

Answer 2

Il primo frammento di codice tiri anche di errore nella Scala 2.7.7final:

scala> trait Test[M[A] <: { def map[B](f: A => B) : M[B] } ] {} 
<console>:4: error: illegal cyclic reference involving type M 
     trait Test[M[A] <: { def map[B](f: A => B) : M[B] } ] {} 
                ^

Quale versione di Scala usi?