Give different runtime type representations to different types with the same name.

lib/compiler/implementation/runtime_types.dart

Index: lib/compiler/implementation/runtime_types.dart
diff --git a/lib/compiler/implementation/runtime_types.dart b/lib/compiler/implementation/runtime_types.dart
index cd7f49ae66a5a7f62f6783d2b074de79ccb7f1a7..fd9353649fe0d18fb8952b8caf8c1c06cbd14ceb 100644
--- a/lib/compiler/implementation/runtime_types.dart
+++ b/lib/compiler/implementation/runtime_types.dart
@@ -11,6 +11,25 @@
 #import('util/util.dart');
 
 class RuntimeTypeInformation {
+  /**
+   * Names used for elements in runtime type information. This map is kept to
+   * detect elements with the same name use a different name instead.
+   */
+  final Map<String, Element> usedNames = new Map<String, Element>();
+
+  /** Get a unique name for the element. */
+  String getName(Element element) {

[ngeoffray, 2012/10/15 12:57:55]

This very much look like code dealt else where. Coud it somehow be shared?

+    String guess = element.name.slowToString();
+    String name = guess;
+    int id = 0;
+    while (usedNames.containsKey(name) && usedNames[name] != element) {
+      name = '$guess@$id';
+      id++;
+    }
+    usedNames[name] = element;
+    return name;
+  }
+
   bool hasTypeArguments(DartType type) {
     if (type is InterfaceType) {
       InterfaceType interfaceType = type;
@@ -48,9 +67,8 @@ class RuntimeTypeInformation {
    * variables than [numberOfInputs], 'Dynamic' is used as the value for these
    * arguments.
    */
-  static String generateRuntimeTypeString(ClassElement element,
-                                          int numberOfInputs) {
-    String elementName = element.name.slowToString();
+  String generateRuntimeTypeString(ClassElement element, int numberOfInputs) {
+    String elementName = getName(element);

[ngeoffray, 2012/10/15 12:57:55]

Use the namer instead?

     if (element.typeVariables.isEmpty()) return "'$elementName'";
     String stringify(_, bool hasValue) => hasValue ? "' + # + '" : "Dynamic";
     String arguments = stringifyTypeVariables(element.typeVariables,