diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/TreeInfo.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TreeInfo.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TreeInfo.scala b/src/dotty/tools/dotc/core/TreeInfo.scala index c3d0d4ece..79e35170a 100644 --- a/src/dotty/tools/dotc/core/TreeInfo.scala +++ b/src/dotty/tools/dotc/core/TreeInfo.scala @@ -267,7 +267,7 @@ abstract class TreeInfo { def mayBeTypePat(tree: Tree[Untyped]): Boolean = tree match { case AndTypeTree(tpt1, tpt2) => mayBeTypePat(tpt1) || mayBeTypePat(tpt2) case OrTypeTree(tpt1, tpt2) => mayBeTypePat(tpt1) || mayBeTypePat(tpt2) - case RefineTypeTree(tpt, refinements) => mayBeTypePat(tpt) || refinements.exists(_.isInstanceOf[Bind[_]]) + case RefinedTypeTree(tpt, refinements) => mayBeTypePat(tpt) || refinements.exists(_.isInstanceOf[Bind[_]]) case AppliedTypeTree(tpt, args) => mayBeTypePat(tpt) || args.exists(_.isInstanceOf[Bind[_]]) case SelectFromTypeTree(tpt, _) => mayBeTypePat(tpt) case Annotated(_, tpt) => mayBeTypePat(tpt) |