Fix more compiler crashes with fields, refinement types

In the same manner as scala/scala-dev#219, the placement of the fields
phase after uncurry is presenting some challenges in keeping our trees
type correct.

This commit whacks a few more moles by adding a casts in the body of
synthetic methods.

Fixes scala/scala-dev#268

1 files changed, 17 insertions, 0 deletions

diff --git a/test/files/pos/sd268.scala b/test/files/pos/sd268.scala
new file mode 100644
index 0000000000..8839651501
--- /dev/null
+++ b/test/files/pos/sd268.scala
@@ -0,0 +1,17 @@
+class Context(val v : AnyRef)
+
+trait AbidePlugin {
+  val someVal = ""
+
+       val x = null.asInstanceOf[Context { val v : someVal.type }] // CRASH
+  lazy val y = null.asInstanceOf[Context { val v : someVal.type }] // CRASH
+       var z = null.asInstanceOf[Context { val v : someVal.type }] // CRASH
+}
+
+class C {
+  val someVal = ""
+
+       val x = null.asInstanceOf[Context { val v : someVal.type }]
+  lazy val y = null.asInstanceOf[Context { val v : someVal.type }] // CRASH
+       var z = null.asInstanceOf[Context { val v : someVal.type }]
+}