diff options
| author | Martin Odersky <odersky@gmail.com> | 2009-12-08 16:38:05 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2009-12-08 16:38:05 +0000 |
| commit | 24ad61eb2d060880384f81825422ef3dda1bccf7 (patch) | |
| tree | 884093452506e3b061595b2429eee2df51ceb830 /src | |
| parent | 721c6935fd334188ab2f6cfc45f4e6ab15809b42 (diff) | |
| download | scala-24ad61eb2d060880384f81825422ef3dda1bccf7.tar.gz scala-24ad61eb2d060880384f81825422ef3dda1bccf7.tar.bz2 scala-24ad61eb2d060880384f81825422ef3dda1bccf7.zip | |
Closes #2772
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/scala/tools/nsc/ast/Trees.scala | 5 |
1 files changed, 5 insertions, 0 deletions
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) |