| 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 103cdfa428a9d2b8beafce5b40d2b13db710a59b..b1f931552e372e55e069b99c7b4e36de4a4678a6 100644
|
| --- a/lib/compiler/implementation/dart_backend/renamer.dart
|
| +++ b/lib/compiler/implementation/dart_backend/renamer.dart
|
| @@ -29,7 +29,7 @@ void renamePlaceholders(
|
| .putIfAbsent(originalName, () => generateUniqueName(originalName));
|
|
|
| String renameElement(Element element) {
|
| - assert(element.isTopLevel());
|
| + assert(element.isTopLevel() || element is TypeVariableElement);
|
| // TODO(smok): Make sure that the new name does not conflict with existing
|
| // local identifiers.
|
| String originalName = element.name.slowToString();
|
|
|