diff options
Diffstat (limited to 'src/dotty/tools/dotc/ast/tpd.scala')
| -rw-r--r-- | src/dotty/tools/dotc/ast/tpd.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/ast/tpd.scala b/src/dotty/tools/dotc/ast/tpd.scala index 77983830c..a8da15bd7 100644 --- a/src/dotty/tools/dotc/ast/tpd.scala +++ b/src/dotty/tools/dotc/ast/tpd.scala @@ -108,12 +108,12 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo { def apply(tp: Type) = tp match { case tp: TermRef if toAvoid(tp) && variance > 0 => apply(tp.info) - case tp @ TypeRef(pre, _) if toAvoid(pre) => + case tp: TypeRef if toAvoid(tp.prefix) => tp.info match { case TypeAlias(ref) => apply(ref) case _ => mapOver(tp) } - case tp @ RefinedType(parent, _) => + case tp: RefinedType => val tp1 @ RefinedType(parent1, _) = mapOver(tp) if (tp1.refinedInfo existsPart toAvoid) { typr.println(s"dropping refinement from $tp1") |