| Index: dart/sdk/lib/_internal/compiler/implementation/js_backend/namer.dart
|
| diff --git a/dart/sdk/lib/_internal/compiler/implementation/js_backend/namer.dart b/dart/sdk/lib/_internal/compiler/implementation/js_backend/namer.dart
|
| index 6febc82e40d04cf0acc36bb7b788fb65d53bdfec..f25d1a77c63115843dc92c8c21a8c9756f19fe66 100644
|
| --- a/dart/sdk/lib/_internal/compiler/implementation/js_backend/namer.dart
|
| +++ b/dart/sdk/lib/_internal/compiler/implementation/js_backend/namer.dart
|
| @@ -442,6 +442,10 @@ class Namer implements ClosureNamer {
|
| return getMappedInstanceName(proposedName);
|
| }
|
|
|
| + String readTypeVariableName(TypeVariableElement element) {
|
| + return '\$tv_${instanceFieldName(element)}';
|
| + }
|
| +
|
| // Construct a new name for the element based on the library and class it is
|
| // in. The name here is not important, we just need to make sure it is
|
| // unique. If we are minifying, we actually construct the name from the
|
|
|