Observación divertida sobre tipos estructurales (recursivos) en Scala

Question

Necesitaba algún tipo de estructura recursiva en algún fragmento de código usando rasgos y el tipo estructural como restricción de parámetro de tipo. Funcionó bien, pero luego supe que Scala no admite tipos estructurales recursivos.

Entonces alguien me puede explicar por qué esto funciona bien:

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

y esto no:

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

Creo que esto es un error en el compilador. El código siguiente muestra el mismo comportamiento que el código inicial:

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

Es el resultado de un error de tiempo de compilación: 'referencia cíclico ilegal'.

Y el siguiente código no lo hace (es decir, que compila bien):

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

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

La única diferencia es que la tipificación estructural se aplica a través de un tipo de alias S aquí.

Answer 2

El primer fragmento de código también tiros error en 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] } ] {} 
                ^

¿Qué versión de Scala usas?