- annotations can follow a type in addition to ...

- annotations can follow a type in addition to preceding it -
annotations are traversed by tree Traverser's - the internal
representation of declaration annotations is now type checkable

1 files changed, 3 insertions, 3 deletions

diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala
index 5979cd3add..96238bd76e 100644
--- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala
@@ -1728,12 +1728,12 @@ trait Typers { self: Analyzer =>
               names.retain(sym => sym.name != nme.value)
             }
             val nvPairs = annot.elements map {
-              case Assign(ntree @ Ident(name), rhs) => {
+              case vd @ ValDef(_, name, _, rhs) => {
                 val sym = attrScope.lookup(name);
                 if (sym == NoSymbol) {
-                  error(ntree.pos, "unknown attribute element name: " + name)
+                  error(vd.pos, "unknown attribute element name: " + name)
                 } else if (!names.contains(sym)) {
-                  error(ntree.pos, "duplicate value for element " + name)
+                  error(vd.pos, "duplicate value for element " + name)
                 } else {
                   names -= sym
                   val annArg =