From 499962d34e83134d622fa319b84664ee2747dd72 Mon Sep 17 00:00:00 2001
From: Jason Zaugg <jzaugg@gmail.com>
Date: Sat, 23 Mar 2013 12:44:08 +0100
Subject: Expand test for SI-6124 to demonstrate cause of SI-7285.

---
 test/files/run/t6146b.check | 14 ++++++++++++--
 test/files/run/t6146b.scala |  3 ++-
 2 files changed, 14 insertions(+), 3 deletions(-)

(limited to 'test')

diff --git a/test/files/run/t6146b.check b/test/files/run/t6146b.check
index b664d1152a..e08e40d9fa 100644
--- a/test/files/run/t6146b.check
+++ b/test/files/run/t6146b.check
@@ -37,8 +37,18 @@ memType: (sub: u.Type, scrut: u.Type)u.Type
 
 scala> 
 
-scala> memType(S1, fTpe)
-res0: u.Type = O.X.S1.type
+scala> val mt1 = memType(S1, fTpe)
+mt1: u.Type = O.X.S1.type
+
+scala> global.typeDeconstruct.show(mt1)
+res0: String = 
+TypeRef(
+  pre = TypeRef(
+    pre = ThisType(object O)
+    TypeSymbol(class X extends AnyRef)
+  )
+  TypeSymbol(class S1 extends C.this.F[T])
+)
 
 scala> memType(S2, fTpe)
 res1: u.Type = O.S2
diff --git a/test/files/run/t6146b.scala b/test/files/run/t6146b.scala
index adcd40d2ee..e63709aa9d 100644
--- a/test/files/run/t6146b.scala
+++ b/test/files/run/t6146b.scala
@@ -31,7 +31,8 @@ val fTpe = typeOf[O.type].decl(newTermName("foo")).paramss.head.head.tpe
 def memType(sub: Type, scrut: Type): Type =
   nestedMemberType(sub.typeSymbol, scrut.prefix, scrut.typeSymbol.owner)
 
-memType(S1, fTpe)
+val mt1 = memType(S1, fTpe)
+global.typeDeconstruct.show(mt1)
 memType(S2, fTpe)
 memType(S3, fTpe)
 memType(S4, fTpe)
-- 
cgit v1.2.3