| 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 7874ba2a8dbb7edce9dfab3d0e3e75c19e6cd6db..ff5b28a05e2af362616b1a05d976464ffcd8fee1 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| @@ -93,12 +93,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('>');
|
| }
|
|
|