Add a `@JSExportName` annotation for internal use in the runtime (use it to export dart.assert inst…

tool/input_sdk/private/utils.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.
 
 library dart._utils;
 
-import 'dart:_foreign_helper' show JS;
+import 'dart:_foreign_helper' show JS, JSExportName;
 
 /// This library defines a set of general javascript utilities for us
 /// by the Dart runtime.
 // TODO(ochafik): Rewrite some of these in Dart when possible.
 
 final defineProperty = JS('', 'Object.defineProperty');
 final getOwnPropertyDescriptor = JS('', 'Object.getOwnPropertyDescriptor');
 final getOwnPropertyNames = JS('', 'Object.getOwnPropertyNames');
 final getOwnPropertySymbols = JS('', 'Object.getOwnPropertySymbols');
 
@@ skipping 14 matching lines @@
   throw new StrongModeError($message);
 })()''');
 
 /// This error indicates a bug in the runtime or the compiler.
 void throwInternalError(String message) => JS('', '''(() => {
   throw Error($message);
 })()''');
 
 // TODO(ochafik): Re-introduce a @JS annotation in the SDK (same as package:js)
 // so that this is named 'assert' in JavaScript.
+@JSExportName('assert')
 void assert_(bool condition) => JS('', '''(() => {
   if (!condition) throwInternalError("The compiler is broken: failed assert");
 })()''');
 
 getOwnNamesAndSymbols(obj) => JS('', '''(() => {
   return getOwnPropertyNames(obj).concat(getOwnPropertySymbols(obj));
 })()''');
 
 safeGetOwnProperty(obj, String name) => JS('', '''(() => {
   let desc = getOwnPropertyDescriptor($obj, $name);
@@ skipping 64 matching lines @@
 export_(to, from, show, hide) => JS('', '''(() => {
   if ($show == void 0 || $show.length == 0) {
     $show = $getOwnNamesAndSymbols($from);
   }
   if ($hide != void 0) {
     var hideMap = new Set($hide);
     $show = $show.filter((k) => !hideMap.has(k));
   }
   return $copyTheseProperties($to, $from, $show);
 })()''');