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 && optimizerHints.assumeDynamic(element);
+  }
+
+  /// Returns `true` if [element] has an `@TrustTypeAnnotations()` annotation.
+  bool trustTypeAnnotations(Element element) {
+    return element is MemberElement &&
+        optimizerHints.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 121 matching lines @@
   }
 
   void recordExposesThis(Element element, bool exposesThis) {
     element = element.implementation;
     if (exposesThis) {
       generativeConstructorsExposingThis.add(element);
     }
   }
 
   JavaScriptBackend get backend => compiler.backend;
-  OptimizerHintsForTests get annotations => backend.annotations;
+  OptimizerHintsForTests get optimizerHints => backend.optimizerHints;
   DiagnosticReporter get reporter => compiler.reporter;
   CommonMasks get commonMasks => closedWorld.commonMasks;
 
   /**
    * A set of selector names that [List] implements, that we know return
    * their element type.
    */
   final Set<Selector> returnsListElementTypeSet =
       new Set<Selector>.from(<Selector>[
     new Selector.getter(const PublicName('first')),
@@ skipping 835 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) {}
 }