diff options
author | paltherr <paltherr@epfl.ch> | 2003-07-11 12:26:44 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-07-11 12:26:44 +0000 |
commit | 77bbd22d075ef37ef1e36205ddc9d5da1a6ab077 (patch) | |
tree | 9297cc213f9d3badb39d9fe900321bf80e85e06c | |
parent | bc36095d0e823a15ebe35ac26e66f9a491965c05 (diff) | |
download | scala-77bbd22d075ef37ef1e36205ddc9d5da1a6ab077.tar.gz scala-77bbd22d075ef37ef1e36205ddc9d5da1a6ab077.tar.bz2 scala-77bbd22d075ef37ef1e36205ddc9d5da1a6ab077.zip |
- Changed cloneType to avoid "as seen from" if ...
- Changed cloneType to avoid "as seen from" if owner doesn't change
-rw-r--r-- | sources/scalac/symtab/Type.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scalac/symtab/Type.java b/sources/scalac/symtab/Type.java index 915ccc8079..0b1e1b6405 100644 --- a/sources/scalac/symtab/Type.java +++ b/sources/scalac/symtab/Type.java @@ -1263,7 +1263,7 @@ public class Type implements Modifiers, Kinds, TypeTags { */ public Type cloneType(Symbol oldOwner, Symbol newOwner) { Type clone = cloneType0(oldOwner, newOwner); - if (oldOwner.isClass()) + if (oldOwner != newOwner && oldOwner.isClass()) clone = new SubstThisMap(oldOwner, newOwner).applyParams(clone); return clone; } |