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