trait Trait1[T] {}

class C1[T](t: Trait1[T])

trait Trait2 {
  type T
}

//In the specification for Trait2, how do you refer to C2's T in place of "???"?
//"self.T" fails with "not found: self".
//"C2#T" compiles, but does it mean what I think it does?
class C2(t: Trait2 { type T = ??? }) {
  self =>
  type T
)