Skip to content

Commit 1554fdd

Browse files
committed
Fixed parse error with @unchecked
Dotty currently cannot parse @unchecked annotations in pattern types. That's why the previous commit failed. We need to come back to this and fix it. For the moment, to make on the current branch, the annotation is removed.
1 parent 163b160 commit 1554fdd

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/dotty/tools/dotc/ast/TreeInfo.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -429,7 +429,7 @@ trait TypedTreeInfo extends TreeInfo[Type] { self: Trees.Instance[Type] =>
429429

430430
def search(from: Any): List[Tree] = ctx.debugTraceIndented(s"search(${show(from)})") {
431431
from match {
432-
case tree: Tree @ unchecked =>
432+
case tree: Tree => // Dotty problem: cannot write Tree @ unchecked, this currently gives a syntax error
433433
if (definedSym(tree) == sym) tree :: Nil
434434
else if (tree.envelope.contains(sym.pos)) {
435435
val p = search(tree.productIterator)

0 commit comments

Comments
 (0)