Implement substitution for type variables.

sdk/lib/_internal/compiler/implementation/js_backend/namer.dart

Index: sdk/lib/_internal/compiler/implementation/js_backend/namer.dart
diff --git a/sdk/lib/_internal/compiler/implementation/js_backend/namer.dart b/sdk/lib/_internal/compiler/implementation/js_backend/namer.dart
index 6a5067dba110a0c14eaf3df0eaf5388e9f9be5a3..efb4c640cd2974f026ae897ccd6f5c40271e779b 100644
--- a/sdk/lib/_internal/compiler/implementation/js_backend/namer.dart
+++ b/sdk/lib/_internal/compiler/implementation/js_backend/namer.dart
@@ -523,8 +523,12 @@ class Namer implements ClosureNamer {
 
   String operatorIsPrefix() => r'$is';
 
+  String operatorAsPrefix() => r'$as';
+
   String operatorIs(Element element) {
-    // TODO(erikcorry): Reduce from $isx to ix when we are minifying.
+    // TODO(erikcorry): Reduce from is$x to ix when we are minifying.

[ngeoffray, 2013/01/30 13:06:00]

is$x -> $isX

[karlklose, 2013/01/30 15:37:18]

Done.

+    // TODO(karlklose): The runtime type system implementation in js_helper
+    // needs to know this name, because it uses a JS-call to read the field.

[ngeoffray, 2013/01/30 13:06:00]

Why the TODO?

[karlklose, 2013/01/30 15:37:18]

Leftover of the merge. Removed.

     return '${operatorIsPrefix()}${getName(element)}';
   }
 
@@ -540,6 +544,12 @@ class Namer implements ClosureNamer {
     return name;
   }
 
+  String substitutionName(Element element) {
+    // TODO(karlklose): The runtime type system implementation in js_helper
+    // needs to know this name, because it uses a JS-call to read the field.

[ngeoffray, 2013/01/30 13:06:00]

Ditto.

[karlklose, 2013/01/30 15:37:18]

Done.

+    return '${operatorAsPrefix()}${getName(element)}';
+  }
+
   String oneShotInterceptorName(Selector selector) {
     // TODO(ngeoffray): What to do about typed selectors? We could
     // filter them out, or keep them and hope the generated one shot