diff options
author | paltherr <paltherr@epfl.ch> | 2003-03-11 17:45:38 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-03-11 17:45:38 +0000 |
commit | b1f3fad210bb15332bbf5c194da60065cf47c5d8 (patch) | |
tree | 74e66505e3285bbd1e79b06f55fff610e7d340a1 /sources | |
parent | 9046cab361954b39814855db135e12c504a6a373 (diff) | |
download | scala-b1f3fad210bb15332bbf5c194da60065cf47c5d8.tar.gz scala-b1f3fad210bb15332bbf5c194da60065cf47c5d8.tar.bz2 scala-b1f3fad210bb15332bbf5c194da60065cf47c5d8.zip |
- Bug fix (pb with thistypes)
Diffstat (limited to 'sources')
-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 bdfc109025..3874954d30 100644 --- a/sources/scalac/symtab/Type.java +++ b/sources/scalac/symtab/Type.java @@ -895,7 +895,7 @@ public class Type implements Modifiers, Kinds, TypeTags { Type toPrefix(Type pre, Symbol clazz) { if (pre == NoType || clazz.kind != CLASS) return this; - else if (symbol().isSubClass(clazz) && pre.widen().symbol().isSubClass(symbol())) + else if (pre.widen().symbol().isSubClass(symbol())) return pre; else return toPrefix(pre.baseType(clazz).prefix(), clazz.owner()); |