Use this in trait?

[soronpo]

Related past discussion:

Proposal : Abstract `This` type inside every class/trait

I find myself many times wanting to refer to the current class/trait type, but not the type of the instance (not this.type). For example: trait Foo[T] { type This <: Foo[T] } trait Bar[T1, T2] extends Foo[T1] { type This <: Bar[T1, T2] } I propose that a This abstract type will be added to Any and its upper bound automatically set by the compiler for every new trait/class definition which is not anonymous.