// case for all annotations in the ElementResolver. The reason we resolve this particular
// element early is so that ClassElement.isProxy() returns the correct information during all
// phases of the ElementResolver.
//
super.visitAnnotation(node);
Identifier identifier = node.getName();
if (identifier.getName().endsWith(ElementAnnotationImpl.PROXY_VARIABLE_NAME)
&& node.getParent() instanceof ClassDeclaration) {
Element element = getNameScope().lookup(identifier, getDefiningLibrary());
if (element != null && element.getLibrary().isDartCore()
&& element instanceof PropertyAccessorElement) {
// This is the @proxy from dart.core