Handle .fromEnvironment and incompatible constructor invocations

pkg/compiler/lib/src/resolution/semantic_visitor.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.semantics_visitor;
 
 import '../constants/expressions.dart';
 import '../dart2jslib.dart' show invariant, MessageKind;
 import '../dart_types.dart';
 import '../elements/elements.dart';
@@ skipping 3795 matching lines @@
 
   /// Invocation of an undefined unary [operator] with operands
   /// [left] and [right].
   R errorUndefinedBinaryExpression(
       Send node,
       Node left,
       Operator operator,
       Node right,
       A arg);
 
-  /// Const invocation of a [constructor].
+  /// Const invocation of a [constant] constructor.
   ///
   /// For instance
   ///   class C<T> {
   ///     const C(a, b);
   ///   }
   ///   m() => const C<int>(true, 42);
   ///
   R visitConstConstructorInvoke(
       NewExpression node,
       ConstructedConstantExpression constant,
       A arg);
 
+  /// Const invocation of the `bool.fromEnvironment` constructor.
+  ///
+  /// For instance
+  ///   m() => const bool.fromEnvironment('foo', defaultValue: false);
+  ///
+  R visitBoolFromEnvironmentConstructorInvoke(
+      NewExpression node,
+      BoolFromEnvironmentConstantExpression constant,
+      A arg);
+
+  /// Const invocation of the `int.fromEnvironment` constructor.
+  ///
+  /// For instance
+  ///   m() => const int.fromEnvironment('foo', defaultValue: 42);
+  ///
+  R visitIntFromEnvironmentConstructorInvoke(
+      NewExpression node,
+      IntFromEnvironmentConstantExpression constant,
+      A arg);
+
+  /// Const invocation of the `String.fromEnvironment` constructor.
+  ///
+  /// For instance
+  ///   m() => const String.fromEnvironment('foo', defaultValue: 'bar');
+  ///
+  R visitStringFromEnvironmentConstructorInvoke(
+      NewExpression node,
+      StringFromEnvironmentConstantExpression constant,
+      A arg);
+
   /// Invocation of a generative [constructor] on [type] with [arguments].
   ///
   /// For instance
   ///   class C<T> {
   ///     C(a, b);
   ///   }
   ///   m() => new C<int>(true, 42);
   ///
   /// where [type] is `C<int>`.
   ///
@@ skipping 149 matching lines @@
   ///   m1() => new C(true, 42);
   ///   m2() => new C.a(true, 42);
   ///
   R visitUnresolvedRedirectingFactoryConstructorInvoke(
       NewExpression node,
       ConstructorElement constructor,
       InterfaceType type,
       NodeList arguments,
       CallStructure callStructure,
       A arg);
+
+  /// Invocation of [constructor] on [type] with incompatible [arguments].
+  ///
+  /// For instance
+  ///   class C {
+  ///     C(a);
+  ///   }
+  ///   m() => C(true, 42);
+  ///
+  R visitConstructorIncompatibleInvoke(
+      NewExpression node,
+      ConstructorElement constructor,
+      InterfaceType type,
+      NodeList arguments,
+      CallStructure callStructure,
+      A arg);
 }
 
 abstract class SemanticDeclarationVisitor<R, A> {
   R apply(Node node, A arg);
 
   /// Apply this visitor to the [parameters].
   applyParameters(NodeList parameters, A arg);
 
   /// Apply this visitor to the initializers of [constructor].
   applyInitializers(FunctionExpression constructor, A arg);
@@ skipping 551 matching lines @@
   ///       C() : this._(42);
   ///     }
   ///
   R errorUnresolvedThisConstructorInvoke(
       Send node,
       Element element,
       NodeList arguments,
       Selector selector,
       A arg);
 }