diff options
| -rw-r--r-- | compiler/src/dotty/tools/dotc/ast/TreeInfo.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/ast/TreeInfo.scala b/compiler/src/dotty/tools/dotc/ast/TreeInfo.scala index 429b7235b..bcda4b92f 100644 --- a/compiler/src/dotty/tools/dotc/ast/TreeInfo.scala +++ b/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 => |