aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--tests/pos/escapingRefs.scala10
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
+ }
}
}