Chromium Code Reviews| 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 2158855ca7f2119ef4627eaeb3b6e85edd0c2b28..74f4c20df75a3fa4ecc79ef3c34700862a61aee6 100644 |
| --- a/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart |
| +++ b/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart |
| @@ -88,11 +88,10 @@ void renamePlaceholders( |
| // TODO(smok): Do not rename type if it is in platform library or |
| // js-helpers. |
| StringBuffer result = new StringBuffer(renameElement(type.element)); |
| - if (type is InterfaceType) { |
| - InterfaceType interfaceType = type; |
| - if (!interfaceType.treatAsRaw) { |
| + if (type is GenericType) { |
|
karlklose
2013/12/20 07:43:20
Merge the two if-s.
Johnni Winther
2013/12/20 10:14:37
Done.
|
| + if (!type.treatAsRaw) { |
| result.write('<'); |
| - Link<DartType> argumentsLink = interfaceType.typeArguments; |
| + Link<DartType> argumentsLink = type.typeArguments; |
| result.write(renameType(argumentsLink.head, renameElement)); |
| for (Link<DartType> link = argumentsLink.tail; !link.isEmpty; |
| link = link.tail) { |