path: root/test/neg/S6.check

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