path: root/test/neg/constrparams.scala

abstract class C(x: C) {
  type t;
  private val y: x.type = x;
  private val z: x.t = null; //error
}