path: root/tests/pos/t1119.scala

trait B
{
     type T >: this.type <: B


     // compile-time check: have we achieved our objective?
     def test: T = this
}