diff options
| author | Jason Zaugg <jzaugg@gmail.com> | 2013-03-23 12:44:08 +0100 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2013-03-23 12:48:17 +0100 |
| commit | 499962d34e83134d622fa319b84664ee2747dd72 (patch) | |
| tree | 7c3e7ecf5ad558ef77bbae34d6c0eb435e43bbe2 /test/files/run/t6146b.check | |
| parent | 62dd51a79ef1b1c240c1eb1e97c330347f842d4c (diff) | |
| download | scala-499962d34e83134d622fa319b84664ee2747dd72.tar.gz scala-499962d34e83134d622fa319b84664ee2747dd72.tar.bz2 scala-499962d34e83134d622fa319b84664ee2747dd72.zip | |
Expand test for SI-6124 to demonstrate cause of SI-7285.
Diffstat (limited to 'test/files/run/t6146b.check')
| -rw-r--r-- | test/files/run/t6146b.check | 14 |
1 files changed, 12 insertions, 2 deletions
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 |