Add pos test about escaping refinements

1 files changed, 10 insertions, 0 deletions

diff --git a/tests/pos/escapingRefs.scala b/tests/pos/escapingRefs.scala
index c18720764..684dba868 100644
--- a/tests/pos/escapingRefs.scala
+++ b/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
+    }
   }
 }