path: root/test/files/neg/null-unsoundness.check

null-unsoundness.scala:8: error: stable identifier required, but A.this.x found.
 Note that value x is not stable because its type, A.this.D with A.this.A, is volatile.
  var y: x.T = new C("abc")
         ^
one error found