| 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 cb7c4a771d8501200110b39ec591550359b972fe..d9789aab31d84ec3a93abc9dd3ad449efb7e9868 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| @@ -90,7 +90,7 @@ void renamePlaceholders(
|
| StringBuffer result = new StringBuffer(renameElement(type.element));
|
| if (type is InterfaceType) {
|
| InterfaceType interfaceType = type;
|
| - if (!interfaceType.isRaw) {
|
| + if (!interfaceType.treatAsRaw) {
|
| result.write('<');
|
| Link<DartType> argumentsLink = interfaceType.typeArguments;
|
| result.write(renameType(argumentsLink.head, renameElement));
|
|
|