Annotations removed from the tree after `typer`

[scabug]

Annotations are removed from mods in typer, and re-appear in corresponding symbols. However, this breaks the assumption that a (range) position can be mapped back to (a reasonable approximation of the) corresponding tree. This breaks everything in the IDE relative to annotations:

• hyperlinking: https://www.assembla.com/spaces/scala-ide/tickets/1001648
• type hover: https://www.assembla.com/spaces/scala-ide/tickets/1001669-hover-info-for-annotation-is-wrong

The "innermost enclosing tree" for an annotation position resolves to be the enclosing Template.

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-7404?orig=1
Reporter: @dragos
Affected Versions: 2.10.1

[scabug]

@retronym said:
@iulian: Is this a regression?

[scabug]

@dragos said:
Not as far as I know. I talked to @lrytz back then and he considered it a feature. But it would be great to find a solution and offer a better experience for IDE users.

[scabug]

@lrytz said (edited on May 16, 2014 12:08:03 PM UTC):
I think we can just keep them. The only issues are confusion (annotations exist in two places after typing) and the memory they take. We could also do that just in the presentation compiler.

If we just don't clear remove them from the modifiers (Typer#typedModifiers), the trees will not be typed though. Is that a problem? We'd need to get the typed trees out of the AnnotationInfos otherwise, and plug them back into the modifiers.