Oh now I understand the problem. Btw what language construct corresponds to
the code path you fixed?

On 12 Feb 2013, at 14:01, Lukas Rytz <notifications@github.com> wrote:

In src/compiler/scala/tools/nsc/typechecker/Typers.scala:

> @@ -4161,7 +4161,7 @@ trait Typers extends Modes with Adaptations with Tags {
>                  case _ => Annotated(ann, arg1)
>                }
>              else
> -              tree
> +              Annotated(ann, arg1)

tree refered in fact out to the parameter of typed1. It is the same
reference as the atd: Annotated parameter of typedAnnotated. The main
difference is that we don't set the tpe field of the untyped tree atd.
Instead we create a new Annotated instance and set its type. Also the new
Annotated instance has the typed arg1 as body - I think it's better to put
that into the original than the un-typed arg

—
Reply to this email directly or view it on
GitHub<https://github.com/scala/scala/pull/2118/files#r2977547>.