Make JavaScriptBackend.processAnnotations element-model agnostic

pkg/compiler/lib/src/inferrer/inferrer_engine.dart

 // Copyright (c) 2017, 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';
@@ skipping 67 matching lines @@
   final Map<Element, GlobalTypeInferenceElementData> inTreeData =
       new Map<Element, GlobalTypeInferenceElementData>();
 
   InferrerEngine(this.compiler, ClosedWorld closedWorld,
       this.closedWorldRefiner, this.mainElement)
       : this.types = new TypeSystem(closedWorld),
         this.closedWorld = closedWorld;
 
   CommonElements get commonElements => closedWorld.commonElements;
 
+  /// Returns `true` if [element] has an `@AssumeDynamic()` annotation.
+  bool assumeDynamic(Element element) {
+    return element is MemberElement && annotations.assumeDynamic(element);

[Siggi Cherem (dart-lang), 2017/05/02 20:04:22]

nit: let's rename annotations too (optimizerHints?)

[Johnni Winther, 2017/05/03 08:05:59]

Done.

+  }
+
+  /// Returns `true` if [element] has an `@TrustTypeAnnotations()` annotation.
+  bool trustTypeAnnotations(Element element) {
+    return element is MemberElement &&
+        annotations.trustTypeAnnotations(element);
+  }
+
   /**
    * Applies [f] to all elements in the universe that match
    * [selector] and [mask]. If [f] returns false, aborts the iteration.
    */
   void forEachElementMatching(
       Selector selector, TypeMask mask, bool f(Element element)) {
     Iterable<MemberEntity> elements =
         closedWorld.allFunctions.filter(selector, mask);
     for (MemberElement e in elements) {
       if (!f(e.implementation)) return;
@@ skipping 977 matching lines @@
   /**
    * Records that the captured variable [local] is read.
    */
   void recordCapturedLocalRead(Local local) {}
 
   /**
    * Records that the variable [local] is being updated.
    */
   void recordLocalUpdate(Local local, TypeInformation type) {}
 }