Structurals do not distinguish def and val - it is unsound

[scabug]

trait A {
  type T
  var v : T
}

object B {
  def f(x : { val y : A }) { x.y.v = x.y.v } 
  
  var a : A = _
  var b : Boolean = false
  def y : A = {
    if(b) {
      a = new A { type T = Int; var v = 1 }
      a
    } else {
      a = new A { type T = String; var v = "" }
      b = true
      a
    }
  }
}

Scala 2.8.0.r18050-b20090618020144 compiles this code without errors. But it is unsound:

scala> B.f(B)
java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String
        at B$$$$anon$$2.v_$$eq(<console>:15)
        at B$$.f(<console>:6)
        at .<init>(<console>:7)
        at .<clinit>(<console>)
        at RequestResult$$.<init>(<console>:4)
        at RequestResult$$.<clinit>(<console>)
        at RequestResult$$result(<console>)
        at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-2079?orig=1
Reporter: Vladimir Reshetnikov (nikov)

[scabug]

@phaller said:
Added test (in pending/neg/t2079.scala).

[scabug]

@dubochet said:
Upping crashers to hight priority.

[scabug]

@dubochet said:
Duplicate of #963.