Even less reliance on Compiler.closedWorld

pkg/compiler/lib/src/types/masks.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 masks;
 
 import '../common.dart';
 import '../common/backend_api.dart' show BackendClasses;
 import '../compiler.dart' show Compiler;
 import '../constants/values.dart' show PrimitiveConstantValue;
@@ skipping 145 matching lines @@
   TypeMask get fixedArrayType => _fixedArrayType ??= new TypeMask.nonNullExact(
       backendClasses.fixedListImplementation, closedWorld);
 
   TypeMask get extendableArrayType =>
       _extendableArrayType ??= new TypeMask.nonNullExact(
           backendClasses.growableListImplementation, closedWorld);
 
   TypeMask get unmodifiableArrayType =>
       _unmodifiableArrayType ??= new TypeMask.nonNullExact(
           backendClasses.constListImplementation, closedWorld);
+
+  bool isTypedArray(TypeMask mask) {
+    // Just checking for [:TypedData:] is not sufficient, as it is an
+    // abstract class any user-defined class can implement. So we also
+    // check for the interface [JavaScriptIndexingBehavior].
+    ClassElement typedDataClass = closedWorld.commonElements.typedDataClass;
+    return typedDataClass != null &&
+        closedWorld.isInstantiated(typedDataClass) &&
+        mask.satisfies(typedDataClass, closedWorld) &&
+        mask.satisfies(
+            closedWorld.backendClasses.indexingBehaviorImplementation,
+            closedWorld);
+  }
+
+  bool couldBeTypedArray(TypeMask mask) {
+    bool intersects(TypeMask type1, TypeMask type2) =>
+        !type1.intersection(type2, closedWorld).isEmpty;
+    // TODO(herhut): Maybe cache the TypeMask for typedDataClass and
+    //               jsIndexingBehaviourInterface.
+    ClassElement typedDataClass = closedWorld.commonElements.typedDataClass;
+    return typedDataClass != null &&
+        closedWorld.isInstantiated(typedDataClass) &&
+        intersects(mask, new TypeMask.subtype(typedDataClass, closedWorld)) &&
+        intersects(
+            mask,
+            new TypeMask.subtype(
+                closedWorld.backendClasses.indexingBehaviorImplementation,
+                closedWorld));
+  }
 }