Reapply 'Add runtimeType() to Object which returns canonicalized instances of Type'.

lib/compiler/implementation/ssa/ssa.dart

Index: lib/compiler/implementation/ssa/ssa.dart
diff --git a/lib/compiler/implementation/ssa/ssa.dart b/lib/compiler/implementation/ssa/ssa.dart
index 7eaec79d40738eed6174894cb48c30da875f33e7..92629912dd1b11a24fff61daf4ca812ff0d97962 100644
--- a/lib/compiler/implementation/ssa/ssa.dart
+++ b/lib/compiler/implementation/ssa/ssa.dart
@@ -39,4 +39,59 @@ class RuntimeTypeInformation {
     }
     return false;
   }
+
+  /**
+   * Map type variables to strings calling [:stringify:] and joins the results
+   * to a single string separated by commas.
+   * The argument [:hasValue:] is used to treat variables that will not receive
+   * a value at the use site of the code that is generated with this function.
+   */
+  static String stringifyTypeVariables(Link collection,
+                                       int numberOfInputs,
+                                       stringify(TypeVariableType variable,
+                                                 bool hasValue)) {
+    int currentVariable = 0;
+    bool isFirst = true;
+    StringBuffer buffer = new StringBuffer();
+    collection.forEach((TypeVariableType variable) {
+      if (!isFirst) buffer.add(", ");
+      bool hasValue = currentVariable < numberOfInputs;
+      buffer.add(stringify(variable, hasValue));
+      isFirst = false;
+      currentVariable++;
+    });
+    return buffer.toString();
+  }
+
+  /**
+   * Generate a string representation template for this element, using '#' to
+   * denote the place for the type argument input. If there are more type
+   * variables than [numberOfInputs], 'Dynamic' is used as the value for these
+   * arguments.
+   */
+  static String generateRuntimeTypeString(ClassElement element,
+                                          int numberOfInputs) {
+    String elementName = element.name.slowToString();
+    if (element.typeVariables.isEmpty()) return "'$elementName'";
+    String stringify(_, bool hasValue) => hasValue ? "' + # + '" : "Dynamic";
+    String arguments = stringifyTypeVariables(element.typeVariables,
+                                              numberOfInputs,
+                                              stringify);
+    return "'$elementName<$arguments>'";
+  }
+
+  /**
+   * Generate a string template for the runtime type fields that contain the
+   * type descriptions of the reified type arguments, using '#' to denote the
+   * place for the type argument value, or [:null:] if there are more than
+   * [numberOfInputs] type variables.
+   */
+  static String generateTypeVariableString(ClassElement element,
+                                           int numberOfInputs) {
+    String stringify(TypeVariableType variable, bool hasValue) {
+      return "'${variable.name.slowToString()}': #";
+    }
+    return stringifyTypeVariables(element.typeVariables, numberOfInputs,
+                                  stringify);
+  }
 }