Handle const constructor invocation in kernel_impact.

pkg/compiler/lib/src/ssa/kernel_impact.dart

 // Copyright (c) 2016, 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.
 
 import 'package:kernel/ast.dart' as ir;
 
 import '../common.dart';
 import '../common/names.dart';
 import '../compiler.dart';
 import '../constants/expressions.dart';
 import '../dart_types.dart';
 import '../elements/elements.dart';
 import '../js_backend/backend.dart' show JavaScriptBackend;
 import '../kernel/kernel.dart';
 import '../kernel/kernel_debug.dart';
 import '../kernel/kernel_visitor.dart';
 import '../resolution/registry.dart' show ResolutionWorldImpactBuilder;
+import '../universe/call_structure.dart';
 import '../universe/feature.dart';
 import '../universe/selector.dart';
 import '../universe/use.dart';
 
 import 'kernel_ast_adapter.dart';
 import '../common/resolution.dart';
 
 /// Computes the [ResolutionImpact] for [resolvedAst] through kernel.
 ResolutionImpact build(Compiler compiler, ResolvedAst resolvedAst) {
   AstElement element = resolvedAst.element;
@@ skipping 180 matching lines @@
     visitNode(entry.value);
   }
 
   void _visitArguments(ir.Arguments arguments) {
     arguments.positional.forEach(visitNode);
     arguments.named.forEach(visitNode);
   }
 
   @override
   void visitConstructorInvocation(ir.ConstructorInvocation node) {
-    handleNew(node, node.target);
+    handleNew(node, node.target, isConst: node.isConst);
   }
 
-  void handleNew(ir.InvocationExpression node, ir.Member target) {
+  void handleNew(ir.InvocationExpression node, ir.Member target,
+      {bool isConst: false}) {
     _visitArguments(node.arguments);
     Element element = astAdapter.getElement(target).declaration;
-    impactBuilder.registerStaticUse(new StaticUse.constructorInvoke(
-        element, astAdapter.getCallStructure(node.arguments)));
     ClassElement cls = astAdapter.getElement(target.enclosingClass);
     List<DartType> typeArguments =
         astAdapter.getDartTypes(node.arguments.types);
-    impactBuilder.registerTypeUse(
-        new TypeUse.instantiation(new InterfaceType(cls, typeArguments)));
+    InterfaceType type = new InterfaceType(cls, typeArguments);
+    CallStructure callStructure = astAdapter.getCallStructure(node.arguments);
+    impactBuilder.registerStaticUse(isConst
+        ? new StaticUse.constConstructorInvoke(element, callStructure, type)
+        : new StaticUse.typedConstructorInvoke(element, callStructure, type));
     if (typeArguments.any((DartType type) => !type.isDynamic)) {
       impactBuilder.registerFeature(Feature.TYPE_VARIABLE_BOUNDS_CHECK);
     }
   }
 
   @override
   void visitStaticInvocation(ir.StaticInvocation node) {
     Element target = astAdapter.getElement(node.target).declaration;
     if (target.isFactoryConstructor) {
       // TODO(johnniwinther): We should not mark the type as instantiated but
@@ skipping 173 matching lines @@
   void visitTryFinally(ir.TryFinally node) {
     visitNode(node.body);
     visitNode(node.finalizer);
   }
 
   // TODO(johnniwinther): Make this throw and visit child nodes explicitly
   // instead to ensure that we don't visit unwanted parts of the ir.
   @override
   void defaultNode(ir.Node node) => node.visitChildren(this);
 }