path: root/tests/untried/neg/override.check

override.scala:9: error: overriding type T in trait A with bounds >: Int <: Int;
 type T in trait B with bounds >: String <: String has incompatible type
  lazy val x : A with B = {println(""); x}
               ^
one error found