Support class and typedef literals as expressions.

lib/compiler/implementation/resolution/members.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 abstract class TreeElements {
   Element operator[](Node node);
   Selector getSelector(Send send);
   DartType getType(Node node);
   bool isParameterChecked(Element element);
 }
@@ skipping 1462 matching lines @@
     visit(node.condition);
     visit(node.thenPart);
     visit(node.elsePart);
   }
 
   static bool isLogicalOperator(Identifier op) {
     String str = op.source.stringValue;
     return (identical(str, '&&') || str == '||' || str == '!');
   }
 
   Element resolveSend(Send node) {

[ahe, 2012/10/23 11:54:26]

Karl, this is getting too horrible. Let's take a look at a how this can be
simplified when we're both in the office.

+    void withAdditionalCategories(int categories, void f()) {
+      var oldCategory = allowedCategory;
+      allowedCategory |= categories;
+      f();
+      allowedCategory = oldCategory;
+    }
+
     Selector selector = resolveSelector(node);
 
     if (node.receiver == null) {
       // If this send is of the form "assert(expr);", then
       // this is an assertion.
       if (selector.isAssert()) {
         if (selector.argumentCount != 1) {
           error(node.selector,
                 MessageKind.WRONG_NUMBER_OF_ARGUMENTS_FOR_ASSERT,
                 [selector.argumentCount]);
         } else if (selector.namedArgumentCount != 0) {
           error(node.selector,
                 MessageKind.ASSERT_IS_GIVEN_NAMED_ARGUMENTS,
                 [selector.namedArgumentCount]);
         }
         return compiler.assertMethod;
       }
-      return node.selector.accept(this);
+
+      Element result;
+      withAdditionalCategories(ElementCategory.CLASS, () {
+        result = node.selector.accept(this);
+      });
+      if (result != null && result.kind == ElementKind.CLASS) {
+        ClassElement classElement = result;
+        classElement.ensureResolved(compiler);
+      }
+      return result;
     }
 
-    var oldCategory = allowedCategory;
-    allowedCategory |=
-      ElementCategory.CLASS | ElementCategory.PREFIX | ElementCategory.SUPER;
-    Element resolvedReceiver = visit(node.receiver);
-    allowedCategory = oldCategory;
+    Element resolvedReceiver;
+    withAdditionalCategories(
+        ElementCategory.CLASS | ElementCategory.PREFIX | ElementCategory.SUPER,
+        () { resolvedReceiver = visit(node.receiver); });
+
+    if (resolvedReceiver != null
+        && resolvedReceiver.kind == ElementKind.CLASS) {
+      ClassElement classElement = resolvedReceiver;
+      classElement.ensureResolved(compiler);
+      if (node.isOperator) {
+        // In operator expressions like 'Class + 1', the operator call goes the
+        // instance of [Type] that is the result of the expression 'Class'.
+        resolvedReceiver = null;
+      }
+    }
 
     Element target;
     SourceString name = node.selector.asIdentifier().source;
     if (identical(name.stringValue, 'this')) {
       error(node.selector, MessageKind.GENERIC, ["expected an identifier"]);
     } else if (node.isSuperCall) {
       if (node.isOperator) {
         if (isUserDefinableOperator(name.stringValue)) {
           name = selector.name;
         } else {
@@ skipping 34 matching lines @@
       } else if (target.isInstanceMember()) {
         error(node, MessageKind.MEMBER_NOT_STATIC, [receiverClass.name, name]);
       }
     } else if (identical(resolvedReceiver.kind, ElementKind.PREFIX)) {
       PrefixElement prefix = resolvedReceiver;
       target = prefix.lookupLocalMember(name);
       if (target == null) {
         error(node, MessageKind.NO_SUCH_LIBRARY_MEMBER, [prefix.name, name]);
       }
     }
+    if (target != null && target.kind == ElementKind.CLASS) {
+      ClassElement classElement = target;
+      classElement.ensureResolved(compiler);
+    }
     return target;
   }
 
   DartType resolveTypeTest(Node argument) {
     TypeAnnotation node = argument.asTypeAnnotation();
     if (node == null) {
       // node is of the form !Type.
       node = argument.asSend().receiver.asTypeAnnotation();
       if (node == null) compiler.cancel("malformed send");
     }
@@ skipping 1544 matching lines @@
 
   Element localLookup(SourceString name) => library.find(name);
   Element lookup(SourceString name) => localLookup(name);
 
   Element add(Element newElement) {
     throw "Cannot add an element to a library scope";
   }
 
   String toString() => 'LibraryScope($library)';
 }