Revert "Revert "Use interceptor convention for methods declared on native classes.""

sdk/lib/_internal/compiler/implementation/js_backend/namer.dart

 // Copyright (c) 2011, 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.
 
 part of js_backend;
 
 /**
  * Assigns JavaScript identifiers to Dart variables, class-names and members.
  */
 class Namer implements ClosureNamer {
@@ skipping 534 matching lines @@
       JavaScriptBackend backend = compiler.backend;
       if (cls == backend.jsStringClass) return "s";
       if (cls == backend.jsArrayClass) return "a";
       if (cls == backend.jsDoubleClass) return "d";
       if (cls == backend.jsNumberClass) return "n";
       if (cls == backend.jsNullClass) return "u";
       if (cls == backend.jsFunctionClass) return "f";
       if (cls == backend.jsBoolClass) return "b";
       return cls.name.slowToString();
     }
+    List<String> names = classes
+        .where((cls) => !cls.isNative())
+        .map(abbreviate)
+        .toList();
+    // There is one dispatch mechanism for all native classes.
+    if (classes.any((cls) => cls.isNative())) {
+      names.add("x");
+    }
     // Sort the names of the classes after abbreviating them to ensure
     // the suffix is stable and predictable for the suggested names.
-    List<String> names = classes.map(abbreviate).toList();
     names.sort();
     return names.join();
   }
 
   String getInterceptorName(Element element, Collection<ClassElement> classes) {
     if (classes.contains(compiler.objectClass)) {
       // If the object class is in the set of intercepted classes, we
       // need to go through the generic getInterceptorMethod.
       return getName(element);
     }
@@ skipping 215 matching lines @@
       return const SourceString(r'$or');
     } else if (value == '-') {
       return const SourceString(r'$sub');
     } else if (value == 'unary-') {
       return const SourceString(r'$negate');
     } else {
       return name;
     }
   }
 }