| Index: sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| diff --git a/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart b/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| index 7ab927d5acec9e2f2c9a17ba38de567a32c857e4..108d6e17243199361df0be01d54f0e2a2264ba5d 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| @@ -92,12 +92,11 @@ void renamePlaceholders(
|
| StringBuffer result = new StringBuffer(renameElement(type.element));
|
| if (type is GenericType && !type.treatAsRaw) {
|
| result.write('<');
|
| - Link<DartType> argumentsLink = type.typeArguments;
|
| - result.write(renameType(argumentsLink.head, renameElement));
|
| - for (Link<DartType> link = argumentsLink.tail; !link.isEmpty;
|
| - link = link.tail) {
|
| + List<DartType> arguments = type.typeArguments;
|
| + result.write(renameType(arguments.first, renameElement));
|
| + for (int index = 1; index < arguments.length; index++) {
|
| result.write(',');
|
| - result.write(renameType(link.head, renameElement));
|
| + result.write(renameType(arguments[index], renameElement));
|
| }
|
| result.write('>');
|
| }
|
|
|