diff options
Diffstat (limited to 'src/dotty/tools/dotc/ast/tpd.scala')
| -rw-r--r-- | src/dotty/tools/dotc/ast/tpd.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/ast/tpd.scala b/src/dotty/tools/dotc/ast/tpd.scala index 911283d5a..8b9e0c12e 100644 --- a/src/dotty/tools/dotc/ast/tpd.scala +++ b/src/dotty/tools/dotc/ast/tpd.scala @@ -116,7 +116,7 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo { } case tp: RefinedType => val tp1 @ RefinedType(parent1, _) = mapOver(tp) - if (tp1.compactInfo existsPart toAvoid) { + if (tp1.refinedInfo existsPart toAvoid) { typr.println(s"dropping refinement from $tp1") parent1 } |