Tightened volatile checking.

1 files changed, 24 insertions, 0 deletions

diff --git a/test/files/neg/volatile.scala b/test/files/neg/volatile.scala
new file mode 100644
index 0000000000..11f6eb539f
--- /dev/null
+++ b/test/files/neg/volatile.scala
@@ -0,0 +1,24 @@
+object Test extends Application {
+ trait A
+ trait B extends A
+
+ class C {
+   type D
+   trait E { type T >: B <: A; val x : T }
+   // This is currently correctly disallowed
+   // val y : (D with E)#T = y
+   val y : D with E = y
+   var sneak = { () => y.x }
+   sneak = { () => new B { } }
+ }
+
+ class F extends C {
+   trait G
+   trait H { type T = G }
+   type D = H
+   def frob(arg : G) : G = arg
+   frob(sneak())
+ }
+
+ new F
+}