From d1014c3a2cf87b783f383e52b8923a42ee1bc31c Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Fri, 2 Oct 2015 15:10:03 +0200
Subject: Add pos test about escaping refinements

---
 tests/pos/escapingRefs.scala | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'tests/pos/escapingRefs.scala')

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
+    }
   }
 }
-- 
cgit v1.2.3