Support [AssumeDynamic] and [TrustTypeAnnotations] in the inferrer.

tests/compiler/dart2js/expect_annotations_test.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.
 
 import 'dart:io';
 import 'package:expect/expect.dart';
 import 'package:async_helper/async_helper.dart';
 import 'package:compiler/src/dart2jslib.dart';
 import 'package:compiler/src/elements/elements.dart';
 import 'package:compiler/src/js_backend/js_backend.dart';
+import 'package:compiler/src/types/types.dart';
+import 'type_mask_test_helper.dart';
 import 'memory_compiler.dart';
 
 const Map MEMORY_SOURCE_FILES = const {
   'main.dart': r"""
 import 'package:expect/expect.dart';
 
 int method(String arg) => arg.length;
 
 @AssumeDynamic()
 int methodAssumeDynamic(String arg) => arg.length;
 
 @TrustTypeAnnotations()
 int methodTrustTypeAnnotations(String arg) => arg.length;
 
 @NoInlining()
 int methodNoInlining(String arg) => arg.length;
 
 @NoInlining() @TrustTypeAnnotations()
 int methodNoInliningTrustTypeAnnotations(String arg) => arg.length;
 
+@AssumeDynamic() @TrustTypeAnnotations()
+int methodAssumeDynamicTrustTypeAnnotations(String arg) => arg.length;
+
+
 void main(List<String> args) {
   print(method(args[0]));
   print(methodAssumeDynamic('foo'));
-  print(methodTrustTypeAnnotations(null));
+  print(methodTrustTypeAnnotations(42));
+  print(methodTrustTypeAnnotations("fourtyTwo"));
   print(methodNoInlining('bar'));
-  print(methodNoInliningTrustTypeAnnotations(null));
+  print(methodNoInliningTrustTypeAnnotations(42));
+  print(methodNoInliningTrustTypeAnnotations("fourtyTwo"));
+  print(methodAssumeDynamicTrustTypeAnnotations(null));
 }
 """
 };
 
 main() {
   Compiler compiler = compilerFor(MEMORY_SOURCE_FILES);
   asyncTest(() => compiler.runCompiler(Uri.parse('memory:main.dart')).then((_) {
     Expect.isFalse(compiler.compilationFailed, 'Unsuccessful compilation');
     JavaScriptBackend backend = compiler.backend;
     Expect.isNotNull(backend.annotations.expectNoInliningClass,
         'NoInliningClass is unresolved.');
     Expect.isNotNull(backend.annotations.expectTrustTypeAnnotationsClass,
         'TrustTypeAnnotations is unresolved.');
     Expect.isNotNull(backend.annotations.expectAssumeDynamicClass,
         'AssumeDynamicClass is unresolved.');
 
+    void testTypeMatch(FunctionElement function, TypeMask expectedType,
+                       TypesInferrer inferrer) {
+      for (ParameterElement parameter in function.parameters) {
+        TypeMask type = inferrer.getTypeOfElement(parameter);
+        print("$parameter $type");

[Johnni Winther, 2015/02/06 10:49:39]

Move this to the [reason] (third) argument of Expect.equals.

[floitsch, 2015/02/06 10:54:56]

debug print.

[herhut, 2015/02/06 11:37:53]

Acknowledged.

[herhut, 2015/02/06 11:37:53]

Done.

+        Expect.equals(expectedType, simplify(type, compiler));
+      }
+    }
+
     void test(String name,
               {bool expectNoInlining: false,
                bool expectTrustTypeAnnotations: false,
+               TypeMask expectedType: null,
                bool expectAssumeDynamic: false}) {
        Element method = compiler.mainApp.find(name);
        Expect.isNotNull(method);
        Expect.equals(
            expectNoInlining,
            backend.annotations.noInlining(method),
            "Unexpected annotation of @NoInlining on '$method'.");
        Expect.equals(
            expectTrustTypeAnnotations,
            backend.annotations.trustTypeAnnotations(method),
            "Unexpected annotation of @TrustTypeAnnotations on '$method'.");
        Expect.equals(
            expectAssumeDynamic,
            backend.annotations.assumeDynamic(method),
            "Unexpected annotation of @AssumeDynamic on '$method'.");
+       TypesInferrer inferrer = compiler.typesTask.typesInferrer;
+       if (expectTrustTypeAnnotations && expectedType != null) {
+         testTypeMatch(method, expectedType, inferrer);
+       } else if (expectAssumeDynamic) {
+         testTypeMatch(method, compiler.typesTask.dynamicType, inferrer);
+       }
     }
 
+    TypeMask stringType = compiler.typesTask.stringType;

[Johnni Winther, 2015/02/06 10:49:39]

Maybe [jsStringType]

[herhut, 2015/02/06 11:37:53]

Done.

+    TypeMask genericStringType = new TypeMask.subtype(compiler.stringClass,

[Johnni Winther, 2015/02/06 10:49:39]

and [coreStringType] ?

[herhut, 2015/02/06 11:37:52]

Done.

+        compiler.world);
+
     test('method');
     test('methodAssumeDynamic', expectAssumeDynamic: true);
-    test('methodTrustTypeAnnotations', expectTrustTypeAnnotations: true);
+    test('methodTrustTypeAnnotations',
+        expectTrustTypeAnnotations: true,
+        expectedType: stringType);
     test('methodNoInlining', expectNoInlining: true);
     test('methodNoInliningTrustTypeAnnotations',
          expectNoInlining: true,
-         expectTrustTypeAnnotations: true);
+         expectTrustTypeAnnotations: true,
+         expectedType: stringType);
+    test('methodAssumeDynamicTrustTypeAnnotations',
+         expectAssumeDynamic: true,
+         expectTrustTypeAnnotations: true,
+         expectedType: genericStringType);
+
   }));
 }