Handle .fromEnvironment and incompatible constructor invocations

pkg/compiler/lib/src/resolution/send_structure.dart

 // Copyright (c) 2015, 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 dart2js.send_structure;
 
 import 'access_semantics.dart';
 import 'operators.dart';
 import 'semantic_visitor.dart';
 import '../dart_types.dart';
@@ skipping 2341 matching lines @@
             node, semantics.element, semantics.type,
             node.send.argumentsNode, selector, arg);
       case ConstructorAccessKind.NON_CONSTANT_CONSTRUCTOR:
         return visitor.errorNonConstantConstructorInvoke(
             node, semantics.element, semantics.type,
             node.send.argumentsNode, callStructure, arg);
       case ConstructorAccessKind.ERRONEOUS_REDIRECTING_FACTORY:
         return visitor.visitUnresolvedRedirectingFactoryConstructorInvoke(
             node, semantics.element, semantics.type,
             node.send.argumentsNode, callStructure, arg);
+      case ConstructorAccessKind.INCOMPATIBLE:
+        return visitor.visitConstructorIncompatibleInvoke(
+            node, semantics.element, semantics.type,
+            node.send.argumentsNode, callStructure, arg);
     }
     throw new SpannableAssertionFailure(node,
         "Unhandled constructor invocation kind: ${semantics.kind}");
   }
+
+  String toString() => 'new($semantics,$selector)';
+}
+
+enum ConstantInvokeKind {
+  CONSTRUCTED,
+  BOOL_FROM_ENVIRONMENT,
+  INT_FROM_ENVIRONMENT,
+  STRING_FROM_ENVIRONMENT,
 }
 
 /// The structure for a [NewExpression] of a constant invocation. For instance
 /// `const C()`.
 class ConstInvokeStructure<R, A> extends NewStructure<R, A> {
-  final ConstructedConstantExpression constant;
+  final ConstantInvokeKind kind;
+  final ConstantExpression constant;
 
-  ConstInvokeStructure(this.constant);
+  ConstInvokeStructure(this.kind, this.constant);
 
   R dispatch(SemanticSendVisitor<R, A> visitor, NewExpression node, A arg) {
-    return visitor.visitConstConstructorInvoke(node, constant, arg);
+    switch (kind) {
+      case ConstantInvokeKind.CONSTRUCTED:
+        return visitor.visitConstConstructorInvoke(node, constant, arg);
+      case ConstantInvokeKind.BOOL_FROM_ENVIRONMENT:
+        return visitor.visitBoolFromEnvironmentConstructorInvoke(
+            node, constant, arg);
+      case ConstantInvokeKind.INT_FROM_ENVIRONMENT:
+        return visitor.visitIntFromEnvironmentConstructorInvoke(
+            node, constant, arg);
+      case ConstantInvokeKind.STRING_FROM_ENVIRONMENT:
+        return visitor.visitStringFromEnvironmentConstructorInvoke(
+            node, constant, arg);
+    }
   }
 }
 
 /// The structure of a parameter declaration.
 abstract class ParameterStructure<R, A> {
   final VariableDefinitions definitions;
   final Node node;
   final ParameterElement parameter;
 
   ParameterStructure(this.definitions, this.node, this.parameter);
@@ skipping 216 matching lines @@
   ThisConstructorInvokeStructure(
       this.node, this.constructor, this.callStructure);
 
   R dispatch(SemanticDeclarationVisitor<R, A> visitor, A arg) {
     return visitor.visitThisConstructorInvoke(
         node, constructor, node.argumentsNode, callStructure, arg);
   }
 
   bool get isConstructorInvoke => true;
 }