Imported From: https://issues.scala-lang.org/browse/SI-10214?orig=1
Reporter: Hiroshi Yamaguchi (hiroshi-cl)
Affected Versions: 2.11.8, 2.12.1

@adriaanm said:
A template does have a symbol, which is called the "local dummy", and it is used as the owner for blocks inside the template body.

The symbol is created in typedTemplate:

      if (templ.symbol == NoSymbol)
        templ setSymbol clazz.newLocalDummy(templ.pos)

Hiroshi Yamaguchi (hiroshi-cl) said (edited on Mar 1, 2017 1:16:12 AM UTC):
Thank you for your response. I have a question: is the following code correct?

      case Template(parents, self, body) =>
        traverseParents(parents)
        traverseSelfType(self)
        traverseStats(body, if(templ.symbol == NoSymbol) currentOwner else tree.symbol

@adriaanm said:
I'm not sure, sorry, but I suspect the underlying problem is related to traversing untyped trees. I suggest looking at https://github.com/scala/scala/blob/2.12.x/src/compiler/scala/tools/nsc/transform/TypingTransformers.scala#L40-L40 for some inspiration.

Hiroshi Yamaguchi (hiroshi-cl) said:
I will try your suggestion. Thank you.