S6.scala:11: cyclic aliasing or subtyping involving type S
    type S <: T;
         ^
one error found