Generalize test whether access is to a refinement

A previous type comparison was wrong because it did not map
refined-this types. I believe it was also redundant, so the easiest
fix is to drop it.

Author: odersky

compiler/src/dotty/tools/dotc/ast/TreeInfo.scala

@@ -637,7 +637,7 @@ trait TypedTreeInfo extends TreeInfo[Type] { self: Trees.Instance[Type] =>
     case tree: Select =>
       def hasRefinement(qualtpe: Type): Boolean = qualtpe.dealias match {
         case RefinedType(parent, rname, rinfo) =>
-          rname == tree.name && tree.tpe.widen <:< rinfo || hasRefinement(parent)
+          rname == tree.name || hasRefinement(parent)
         case tp: TypeProxy =>
           hasRefinement(tp.underlying)
         case tp: OrType =>