dart2js cps: Access to lazily initialized fields.

pkg/compiler/lib/src/tree_ir/tree_ir_nodes.dart

 // Copyright (c) 2014, 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.
 
 library tree_ir_nodes;
 
 import '../constants/expressions.dart';
 import '../constants/values.dart' as values;
 import '../dart_types.dart' show DartType, GenericType, InterfaceType, TypeVariableType;
 import '../elements/elements.dart';
@@ skipping 373 matching lines @@
 
   Not(this.operand);
 
   accept(ExpressionVisitor visitor) => visitor.visitNot(this);
   accept1(ExpressionVisitor1 visitor, arg) => visitor.visitNot(this, arg);
 }
 
 class FunctionExpression extends Expression implements DartSpecificNode {
   final FunctionDefinition definition;
 
-  FunctionExpression(this.definition) {
-    assert(definition.element.type.returnType.treatAsDynamic);
-  }
+  FunctionExpression(this.definition);
 
   accept(ExpressionVisitor visitor) => visitor.visitFunctionExpression(this);
   accept1(ExpressionVisitor1 visitor, arg) {
     return visitor.visitFunctionExpression(this, arg);
   }
 }
 
 /// Declares a local function.
 /// Used for functions that may not occur in expression context due to
 /// being recursive or having a return type.
@@ skipping 292 matching lines @@
     action(body);
   }
 
   void replaceEachBody(Statement transform(Statement node)) {
     if (isEmpty) return;
     body = transform(body);
   }
 }
 
 class FunctionDefinition extends RootNode {
-  final FunctionElement element;
+  final ExecutableElement element;
   final List<Variable> parameters;
   Statement body;
   final List<ConstDeclaration> localConstants;
   final List<ConstantExpression> defaultParameterValues;
 
   /// Creates a function definition and updates `writeCount` for [parameters].
   FunctionDefinition(this.element, this.parameters, this.body,
       this.localConstants, this.defaultParameterValues) {
     for (Variable param in parameters) {
       param.writeCount++; // Being a parameter counts as a write.
@@ skipping 146 matching lines @@
   Expression object;
   Element field;
   Expression value;
 
   SetField(this.object, this.field, this.value);
 
   accept(ExpressionVisitor visitor) => visitor.visitSetField(this);
   accept1(ExpressionVisitor1 visitor, arg) => visitor.visitSetField(this, arg);
 }
 
+/// Read the value of a field, possibly provoking its initializer to evaluate,
+/// or tear-off a method.
 class GetStatic extends Expression {
   Element element;
   SourceInformation sourceInformation;
 
   GetStatic(this.element, this.sourceInformation);
 
   accept(ExpressionVisitor visitor) => visitor.visitGetStatic(this);
   accept1(ExpressionVisitor1 visitor, arg) => visitor.visitGetStatic(this, arg);
 }
 
-
 class SetStatic extends Expression {
   Element element;
   Expression value;
   SourceInformation sourceInformation;
 
   SetStatic(this.element, this.value, this.sourceInformation);
 
   accept(ExpressionVisitor visitor) => visitor.visitSetStatic(this);
   accept1(ExpressionVisitor1 visitor, arg) => visitor.visitSetStatic(this, arg);
 }
@@ skipping 558 matching lines @@
   visitTypeExpression(TypeExpression node) {
     _replaceExpressions(node.arguments);
     return node;
   }
 
   visitCreateInvocationMirror(CreateInvocationMirror node) {
     _replaceExpressions(node.arguments);
     return node;
   }
 }