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