//> using options -Xcheckinit
//
trait Trait40_1 {
  val value37_2 = ()
  def run = { value37_2 }
}

trait T1 extends Trait40_1 {
  override val value37_2 = ()
}

object Test {
  def main(args: Array[String]): Unit = {
    println((new T1 {}).run)
  }
}
