class Outer {
  class Inner {
    class Inner2
  }
}

class HasA { type A }

object Test {
  def test = {
    val a: Outer#Inner = {
      val o = new Outer
      new o.Inner
    }

    val b: Outer#Inner#Inner2 = {
      val o = new Outer
      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
    }
  }
}

class Outer {
  class Inner {
    class Inner2
  }
}

object Test {
  def test = {
    val a: Outer#Inner = {
      val o = new Outer
      new o.Inner
    }

    val b: Outer#Inner#Inner2 = {
      val o = new Outer
      val i = new o.Inner
      new i.Inner2
    }
  }
}

--- 
+++ 
@@ -3,6 +3,8 @@
     class Inner2
   }
 }
+
+class HasA { type A }
 
 object Test {
   def test = {
@@ -16,5 +18,13 @@
       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
+    }
   }
 }
Add pos test about escaping refinements
