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) { |