diff options
| -rw-r--r-- | src/dotty/tools/dotc/ast/TreeInfo.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/ast/TreeInfo.scala b/src/dotty/tools/dotc/ast/TreeInfo.scala index 5e04474cb..a1dd37e27 100644 --- a/src/dotty/tools/dotc/ast/TreeInfo.scala +++ b/src/dotty/tools/dotc/ast/TreeInfo.scala @@ -429,7 +429,7 @@ trait TypedTreeInfo extends TreeInfo[Type] { self: Trees.Instance[Type] => def search(from: Any): List[Tree] = ctx.debugTraceIndented(s"search(${show(from)})") { from match { - case tree: Tree @ unchecked => + case tree: Tree => // Dotty problem: cannot write Tree @ unchecked, this currently gives a syntax error if (definedSym(tree) == sym) tree :: Nil else if (tree.envelope.contains(sym.pos)) { val p = search(tree.productIterator) |