| 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 b00517bc75164b126c3079d7bcb8de476623ea60..f6d88926972dfabc95039eed02fa0526de7fba4b 100644
|
| --- a/lib/compiler/implementation/dart_backend/renamer.dart
|
| +++ b/lib/compiler/implementation/dart_backend/renamer.dart
|
| @@ -32,9 +32,11 @@ void renamePlaceholders(
|
| .putIfAbsent(originalName, () => generateUniqueName(originalName));
|
|
|
| String renameElement(Element element) {
|
| - assert(element.isTopLevel() || element is TypeVariableElement);
|
| + assert(Elements.isStaticOrTopLevel(element)
|
| + || element is TypeVariableElement);
|
| // TODO(smok): Make sure that the new name does not conflict with existing
|
| // local identifiers.
|
| + // TODO(smok): We may want to reuse class static field and method names.
|
| String originalName = element.name.slowToString();
|
| LibraryElement library = element.getLibrary();
|
| if (isDartCoreLib(compiler, library)) {
|
|
|