abstract class Error {
	val c: Cycle[_]
}

object Test {
  trait Quux[T] extends Cycle[Quux[T]]
  val x = new Quux[Int] { def doStuff(): Unit = { } }

  def main(args: Array[String]): Unit = {

  }
}
