| Index: lib/compiler/implementation/dart_backend/renamer.dart
|
| diff --git a/lib/compiler/implementation/dart_backend/renamer.dart b/lib/compiler/implementation/dart_backend/renamer.dart
|
| index f6d88926972dfabc95039eed02fa0526de7fba4b..959f8d8994c16a1a6b9212754d698a7f79176a5d 100644
|
| --- a/lib/compiler/implementation/dart_backend/renamer.dart
|
| +++ b/lib/compiler/implementation/dart_backend/renamer.dart
|
| @@ -40,6 +40,7 @@ void renamePlaceholders(
|
| String originalName = element.name.slowToString();
|
| LibraryElement library = element.getLibrary();
|
| if (isDartCoreLib(compiler, library)) {
|
| + assert(element.isTopLevel());
|
| final prefix =
|
| imports.putIfAbsent(library, () => generateUniqueName('p'));
|
| return '$prefix.$originalName';
|
|
|