diff options
| author | paltherr <paltherr@epfl.ch> | 2003-10-06 15:21:17 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-10-06 15:21:17 +0000 |
| commit | 0e0aa61d204a75bf3c65b493edbfc469a99dee91 (patch) | |
| tree | 8191b2d190ff6c5250fe21deb2ce28b59d5a5573 /sources | |
| parent | 24c93d64163a4d59e76f66adb0d58bb396b779d3 (diff) | |
| download | scala-0e0aa61d204a75bf3c65b493edbfc469a99dee91.tar.gz scala-0e0aa61d204a75bf3c65b493edbfc469a99dee91.tar.bz2 scala-0e0aa61d204a75bf3c65b493edbfc469a99dee91.zip | |
- Added code in AsSeenFrom.apply to unalias reb...
- Added code in AsSeenFrom.apply to unalias rebound types
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/scalac/symtab/Type.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sources/scalac/symtab/Type.java b/sources/scalac/symtab/Type.java index 2d64dbfe3b..578c628996 100644 --- a/sources/scalac/symtab/Type.java +++ b/sources/scalac/symtab/Type.java @@ -1061,7 +1061,9 @@ public class Type implements Modifiers, Kinds, TypeTags, EntryTags { args1 = asSeenFrom(Symbol.type(sym1.owner().typeParams()), pre, sym1.owner()); } if (local) prefix1 = localThisType; - return typeRef(prefix1, sym1, args1); + Type t1 = typeRef(prefix1, sym1, args1); + if (sym1 != sym) t1 = apply(t1.unalias()); + return t1; } case SingleType(Type prefix, Symbol sym): |