Polishing of denotations

1. Dropped owner from denot#asSeenFrom. Code inspection shows that one needs to take the owner of the symbol in each alternative instead.

2. Changed fullName so that terms in the ownerchain leave a trace. Needed for disambiguating private symbols with expanded names. See worksheet nesting.sc for an example.

3. Changed fingerPrint so that only classes with children have their fingerPrints computed. Reason: When we lookup a member of a class initially, it's likely that the member is present, so a bloom filter will not buy us much and will take up memory. For parent classes it's different. We might have found the member already in the child, or in a different parent, so it's more likely that the fingerPrint is effective.

1 files changed, 5 insertions, 2 deletions

diff --git a/src/dotty/tools/dotc/core/TypeOps.scala b/src/dotty/tools/dotc/core/TypeOps.scala
index e7377ce18..a8c9af32d 100644
--- a/src/dotty/tools/dotc/core/TypeOps.scala
+++ b/src/dotty/tools/dotc/core/TypeOps.scala
@@ -34,8 +34,11 @@ trait TypeOps { this: Context =>
             if (sym is TypeParam) {
               // short-circuit instantiated type parameters
               // by replacing pre.tp with its alias, if it has one.
-              val tp2 = tp1.info
-              if (tp2.isAliasTypeBounds) return tp2.bounds.hi
+              tp1.info match {
+                case TypeBounds(lo, hi) if lo eq hi =>
+                  return hi
+                case _ =>
+              }
             }
             tp1
           }