9ef5f6817 ^
1 2 3 4 5 6 7 8 9 10
trait B { type T >: this.type <: B // compile-time check: have we achieved our objective? def test: T = this }