| 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 d41d5b2c92239c1a76c81474b5b167e5ad74990e..f132df694dd2acc87e23b5de81db2335607246ce 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| @@ -88,9 +88,9 @@ void renamePlaceholders(
|
| // js-helpers.
|
| StringBuffer result = new StringBuffer(renameElement(type.element));
|
| if (type is InterfaceType) {
|
| - if (!type.arguments.isEmpty) {
|
| + if (!type.typeArguments.isEmpty) {
|
| result.add('<');
|
| - Link<DartType> argumentsLink = type.arguments;
|
| + Link<DartType> argumentsLink = type.typeArguments;
|
| result.add(renameType(argumentsLink.head, renameElement));
|
| for (Link<DartType> link = argumentsLink.tail; !link.isEmpty;
|
| link = link.tail) {
|
|
|