Don't visit DefTree subtrees in changeNonLocalOwners

milessabin · milessabin · commit cfaf6f0b7b51 · 2019-01-23T12:09:56.000Z
diff --git a/compiler/src/dotty/tools/dotc/ast/tpd.scala b/compiler/src/dotty/tools/dotc/ast/tpd.scala
@@ -741,9 +741,8 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
         def traverse(tree: Tree)(implicit ctx: Context): Unit = {
           tree match {
             case _: DefTree => if(tree.symbol ne NoSymbol) localOwners += tree.symbol
-            case _ =>
+            case _ =>          traverseChildren(tree)
           }
-          traverseChildren(tree)
         }
       }
       traverser.traverse(tree)

Original file line number	Diff line number	Diff line change
`@@ -741,9 +741,8 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {`
`741`	`741`	`def traverse(tree: Tree)(implicit ctx: Context): Unit = {`
`742`	`742`	`tree match {`
`743`	`743`	`case _: DefTree => if(tree.symbol ne NoSymbol) localOwners += tree.symbol`
`744`		`- case _ =>`
	`744`	`+ case _ => traverseChildren(tree)`
`745`	`745`	`}`
`746`		`- traverseChildren(tree)`
`747`	`746`	`}`
`748`	`747`	`}`
`749`	`748`	`traverser.traverse(tree)`