Question

Why does this Scala code fail to typecheck?

trait T { type A }
trait GenFoo[A0, S <: T { type A = A0 }]
trait Foo[S <: T] extends GenFoo[S#A, S]

I don’t understand why “type arguments [S#A,S] do not conform to trait GenFoo’s type parameter bounds [A0,S <: T{type A = A0}]”. Is there a work-around?

Edit: As has been pointed out, the conformance error stems from the failure to verify S <: T{type A = S#A}. Daniel Sobral pointed to -explaintypes, which tells us:

S <: T{type A = S#A}?
  S <: T?
  true
  S specializes type A?
    this.A = this.A?
      S = this.type?
      false
    false
  false
false

I’m not sure how to interpret this.

Note that we get an illegal cyclic reference if we try to define,

trait Foo[S <: T { type A = S#A } ] extends GenFoo[S#A, S]

although the type refinement here doesn’t seem to add any new information. (See also Why is this cyclic reference with a type projection illegal?)

My motivation is to create a trait Foo[S <: T] that specializes on S#A, as in: How to specialize on a type projection in Scala? To get this to work, I’m trying to surface S#A as an explicit parameter A0 in the implementation trait GenFoo, which can be specialized directly. I was hoping to apply the type refinement idea from Miles Sabin’s answer to Why is this cyclic reference with a type projection illegal? but I run into this conformance error.

Answer 1

This seems to be the answer:

S specializes type A?

The question about specialize comes from here: T { type A = A0 }. This is the type T with type A specialized — meaning, it is more restricted than the original T.

The answer to that question is no — there’s no constrains on S that it be specialized.