Canonicalize raw type

sdk/lib/_internal/compiler/implementation/ssa/codegen.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of ssa;
 
 class SsaCodeGeneratorTask extends CompilerTask {
 
   final JavaScriptBackend backend;
 
@@ skipping 2372 matching lines @@
     }
     if (node.hasTypeInfo()) {
       InterfaceType interfaceType = type;
       ClassElement cls = type.element;
       Link<DartType> arguments = interfaceType.typeArguments;
       js.Expression result = pop();
       for (TypeVariableType typeVariable in cls.typeVariables) {
         use(node.typeInfoCall);
         int index = RuntimeTypeInformation.getTypeVariableIndex(typeVariable);
         js.PropertyAccess field = new js.PropertyAccess.indexed(pop(), index);
-        RuntimeTypeInformation rti = backend.rti;
-        String typeName = rti.getStringRepresentation(arguments.head);
-        js.Expression genericName = new js.LiteralString("'$typeName'");
-        js.Binary eqTest = new js.Binary('===', field, genericName);
         // Also test for 'undefined' in case the object does not have
         // any type variable.
         js.Prefix undefinedTest = new js.Prefix('!', field);
-        result = new js.Binary(
-            '&&', result, new js.Binary('||', undefinedTest, eqTest));
+        if (arguments.head == compiler.types.dynamicType) {
+          result = new js.Binary('&&', result, undefinedTest);
+        } else {
+          RuntimeTypeInformation rti = backend.rti;
+          String typeName = rti.getStringRepresentation(arguments.head);
+          js.Expression genericName = new js.LiteralString("'$typeName'");
+          js.Binary eqTest = new js.Binary('===', field, genericName);
+          result = new js.Binary(
+              '&&', result, new js.Binary('||', undefinedTest, eqTest));
+        }
         arguments = arguments.tail;
       }
       push(result, node);
     }
     if (node.nullOk) {
       checkNull(input);
       push(new js.Binary('||', pop(), pop()), node);
     }
   }
 
@@ skipping 604 matching lines @@
   if (leftType.canBeNull() && rightType.canBeNull()) {
     if (left.isConstantNull() || right.isConstantNull() ||
         (leftType.isPrimitive() && leftType == rightType)) {
       return '==';
     }
     return null;
   } else {
     return '===';
   }
 }