Handle signature types and fields in kernel_impact

tests/compiler/dart2js/kernel/impact_test.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.
 
 library dart2js.kernel.impact_test;
 
 import 'dart:async';
 import 'package:async_helper/async_helper.dart';
 import 'package:compiler/src/common.dart';
 import 'package:compiler/src/commandline_options.dart';
@@ skipping 23 matching lines @@
   testNonEmptyListLiteral();
   testEmptyMapLiteral();
   testEmptyMapLiteralDynamic();
   testEmptyMapLiteralTyped();
   testEmptyMapLiteralConstant();
   testNonEmptyMapLiteral();
   testNot();
   testUnaryMinus();
   testIfThen();
   testIfThenElse();
+  testTopLevelInvoke();
+  testTopLevelInvokeTyped();
+  testTopLevelField();
+  testTopLevelFieldTyped();
 }
 
 testEmpty() {}
 testNull() => null;
 testTrue() => true;
 testFalse() => false;
 testInt() => 42;
 testDouble() => 37.5;
 testString() => 'foo';
 testSymbol() => #main;
@@ skipping 13 matching lines @@
   if (false) return 42;
   return 1;
 }
 testIfThenElse() {
   if (true) {
     return 42;
   } else {
     return 1;
   }
 }
+topLevelFunction1(a) {}
+topLevelFunction2(a, [b, c]) {}
+topLevelFunction3(a, {b, c}) {}
+testTopLevelInvoke() {
+  topLevelFunction1(0);
+  topLevelFunction2(1);
+  topLevelFunction2(2, 3);
+  topLevelFunction2(4, 5, 6);
+  topLevelFunction3(7);
+  topLevelFunction3(8, b: 9);
+  topLevelFunction3(10, c: 11);
+  topLevelFunction3(12, b: 13, c: 14);
+  topLevelFunction3(15, c: 16, b: 17);
+}
+void topLevelFunction1Typed(int a) {}
+int topLevelFunction2Typed(String a, [num b, double c]) => null;
+double topLevelFunction3Typed(bool a, {List<int> b, Map<String, bool> c}) {
+  return null;
+}
+testTopLevelInvokeTyped() {
+  topLevelFunction1Typed(0);
+  topLevelFunction2Typed('1');
+  topLevelFunction2Typed('2', 3);
+  topLevelFunction2Typed('3', 5, 6.0);
+  topLevelFunction3Typed(true);
+  topLevelFunction3Typed(false, b: []);
+  topLevelFunction3Typed(null, c: {});
+  topLevelFunction3Typed(true, b: [13], c: {'14': true});
+  topLevelFunction3Typed(false, c: {'16': false}, b: [17]);
+}
+var topLevelField;
+testTopLevelField() => topLevelField;
+int topLevelFieldTyped;
+testTopLevelFieldTyped() => topLevelFieldTyped;
 '''
 };
 
 main(List<String> args) {
   asyncTest(() async {
     enableDebugMode();
     Uri entryPoint = Uri.parse('memory:main.dart');
     Compiler compiler = compilerFor(
         entryPoint: entryPoint,
         memorySourceFiles: SOURCE,
         options: [Flags.analyzeOnly, Flags.useKernel]);
     compiler.resolution.retainCachesForTesting = true;
     await compiler.run(entryPoint);
     compiler.mainApp
         .forEachLocalMember((element) => checkElement(compiler, element));
   });
 }
 
 void checkElement(Compiler compiler, AstElement element) {
   ResolutionImpact astImpact = compiler.resolution.getResolutionImpact(element);
   ResolutionImpact kernelImpact = build(compiler, element.resolvedAst);
   testResolutionImpactEquivalence(
       astImpact, kernelImpact, const CheckStrategy());
 }