Permalink
Browse files

Expand test for SI-6124 to demonstrate cause of SI-7285.

  • Loading branch information...
1 parent 62dd51a commit 499962d34e83134d622fa319b84664ee2747dd72 @retronym retronym committed Mar 23, 2013
Showing with 14 additions and 3 deletions.
  1. +12 −2 test/files/run/t6146b.check
  2. +2 −1 test/files/run/t6146b.scala
@@ -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
@@ -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)

0 comments on commit 499962d

Please sign in to comment.