From 24ad61eb2d060880384f81825422ef3dda1bccf7 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 8 Dec 2009 16:38:05 +0000 Subject: Closes #2772 --- src/compiler/scala/tools/nsc/ast/Trees.scala | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/compiler/scala/tools/nsc/ast/Trees.scala b/src/compiler/scala/tools/nsc/ast/Trees.scala index 3af729d4d7..9adad689f1 100644 --- a/src/compiler/scala/tools/nsc/ast/Trees.scala +++ b/src/compiler/scala/tools/nsc/ast/Trees.scala @@ -1737,6 +1737,11 @@ trait Trees { val typeSubst = new SubstTypeMap(from, to) override def traverse(tree: Tree) { if (tree.tpe ne null) tree.tpe = typeSubst(tree.tpe) + if (tree.isDef) { + val sym = tree.symbol + val info1 = typeSubst(sym.info) + if (info1 ne sym.info) sym.setInfo(info1) + } super.traverse(tree) } override def apply[T <: Tree](tree: T): T = super.apply(tree.duplicate) -- cgit v1.2.3