diff options
| author | schinz <schinz@epfl.ch> | 2003-06-25 14:38:08 +0000 |
|---|---|---|
| committer | schinz <schinz@epfl.ch> | 2003-06-25 14:38:08 +0000 |
| commit | 4826669acc6dbac92b4e357d05378a86bd35e720 (patch) | |
| tree | 8b09c22e2f1cd25a708b22c8aadafd397b4d8c34 /sources/scalac/symtab/Type.java | |
| parent | 6a0cdb58213674b2b9787448db41984fe7ad493b (diff) | |
| download | scala-4826669acc6dbac92b4e357d05378a86bd35e720.tar.gz scala-4826669acc6dbac92b4e357d05378a86bd35e720.tar.bz2 scala-4826669acc6dbac92b4e357d05378a86bd35e720.zip | |
- bug fix: normalize ThisTypes during erasure
Diffstat (limited to 'sources/scalac/symtab/Type.java')
| -rw-r--r-- | sources/scalac/symtab/Type.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sources/scalac/symtab/Type.java b/sources/scalac/symtab/Type.java index 6ccedad1ce..4ffdeb496d 100644 --- a/sources/scalac/symtab/Type.java +++ b/sources/scalac/symtab/Type.java @@ -2308,8 +2308,7 @@ public class Type implements Modifiers, Kinds, TypeTags { else { Type this1 = unbox(); if (this1 != this) return this1; - else if (args.length == 0) return this; - else return typeRef(sym.owner().thisType(), sym, Type.EMPTY_ARRAY); + else return sym.typeConstructor(); } default: throw new ApplicationError(); |