path: root/tests/untried/neg/t0345.scala

object Lizt {
    val empty = new Lizt[Nothing] {
        def cons[A](a : A): Unit = {}
    }
}

trait Lizt[A] {
    def cons(a : A) : Unit
}
class Test {
    abstract class C[A] {}
    val c = new C[Int] {
        def f[A](x: A): Unit = {}
    }
 }