Project: Scala

Revision: 16034

Author: odersky

Date: 05 Sep 2008 09:33:01

Diff at Trac: https://lampsvn.epfl.ch/trac/scala/changeset/16034

• /scala/trunk/test/files/neg/null-unsoundness.check

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

• /scala/trunk/test/files/neg/null-unsoundness.scala

  ......	@@ -4,7 +4,7 @@
  4	4	class A {
  5	5	type A >: Null
  6	6	class D { type T >: C <: B }
  7		val x: D with A = null
  	7	val x: A with D = null
  8	8	var y: x.T = new C("abc")
  9	9	}
  10	10	object Test extends A with Application {