Add pos test about escaping refinements

Author: smarter

tests/pos/escapingRefs.scala

@@ -4,6 +4,8 @@ class Outer {
   }
 }
 
+class HasA { type A }
+
 object Test {
   def test = {
     val a: Outer#Inner = {
@@ -16,5 +18,13 @@ object Test {
       val i = new o.Inner
       new i.Inner2
     }
+
+    val c: HasA { type A = Int } = {
+      val h = new HasA {
+        type A = Int
+      }
+      val x: HasA { type A = h.A } = h
+      x
+    }
   }
 }