[dart2dart] Cut declaration types by default if we check that it is safe to do so.

lib/compiler/implementation/dart_backend/backend.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.
 
 class ElementAst {
   final Node ast;
   final TreeElements treeElements;
 
   ElementAst(this.ast, this.treeElements);
 
@@ skipping 71 matching lines @@
 
 class DartBackend extends Backend {
   final List<CompilerTask> tasks;
   final bool cutDeclarationTypes;
   // TODO(antonm): make available from command-line options.
   final bool outputAst = false;
 
   Map<Element, TreeElements> get resolvedElements =>
       compiler.enqueuer.resolution.resolvedElements;
 
+  /**
+   * Tells whether it is safe to remove type declarations from variables,
+   * functions parameters. It becomes not safe if:
+   * 1) TypeError is used somewhere in the code,
+   * 2) The code has typedefs in right hand side of IS checks,
+   * 3) The code has classes which extend typedefs, have type arguments typedefs
+   *    or type variable bounds typedefs.
+   * These restrictions can be less strict.
+   */
+  bool isSafeToRemoveTypeDeclarations(
+      Map<ClassElement, Set<Element>> classMembers) {
+    Set<DartType> processedTypes = new Set<DartType>();
+    List<DartType> workQueue = new List<DartType>();
+    workQueue.addAll(
+        classMembers.getKeys().map((classElement) => classElement.type));
+    workQueue.addAll(compiler.resolverWorld.isChecks);
+    DartType typeErrorType =
+        compiler.coreLibrary.find(new SourceString('TypeError')).type;
+    if (workQueue.indexOf(typeErrorType) != -1) {
+      return false;
+    }
+
+    void processTypeArguments(Element classElement, NodeList typeArguments) {
+      if (typeArguments == null) return;
+      for (Node typeArgument in typeArguments.nodes) {
+        if (typeArgument is TypeVariable) {
+          typeArgument = typeArgument.bound;
+        }
+        if (typeArgument == null) continue;
+        assert(typeArgument is TypeAnnotation);
+        DartType argumentType =
+            compiler.resolveTypeAnnotation(classElement, typeArgument);
+        assert(argumentType !== null);
+        workQueue.add(argumentType);
+      }
+    }
+
+    while (!workQueue.isEmpty()) {
+      DartType type = workQueue.removeLast();
+      if (processedTypes.contains(type)) continue;
+      processedTypes.add(type);
+      if (type is TypedefType) return false;
+      if (type is InterfaceType) {
+        ClassElement element = type.element;
+        ClassNode node = element.parseNode(compiler);
+        // Check class type args.
+        processTypeArguments(element, node.typeParameters);
+        // Check superclass type args.
+        if (node.superclass !== null) {
+          NodeList typeArguments = node.superclass.typeArguments;
+          processTypeArguments(element, node.superclass.typeArguments);
+        }
+        // Check interfaces type args.
+        for (Node interfaceNode in node.interfaces) {
+          processTypeArguments(
+              element, (interfaceNode as TypeAnnotation).typeArguments);
+        }
+        // Check all supertypes.
+        if (element.allSupertypes !== null) {
+          workQueue.addAll(element.allSupertypes.toList());
+        }
+      }
+    }
+    return true;
+  }
+
   DartBackend(Compiler compiler, this.cutDeclarationTypes)
       : tasks = <CompilerTask>[],
         super(compiler);
 
   void enqueueHelpers(Enqueuer world) {
     // Right now resolver doesn't always resolve interfaces needed
     // for literals, so force them. TODO(antonm): fix in the resolver.
     final LITERAL_TYPE_NAMES = const [
       'Map', 'List', 'num', 'int', 'double', 'bool'
     ];
@@ skipping 124 matching lines @@
     // Create all necessary placeholders.
     PlaceholderCollector collector =
         new PlaceholderCollector(compiler, fixedMemberNames, elementAsts);
     makePlaceholders(element) {
       collector.collect(element);
       if (element is ClassElement) {
         classMembers[element].forEach(makePlaceholders);
       }
     }
     topLevelElements.forEach(makePlaceholders);
-
     // Create renames.
     Map<Node, String> renames = new Map<Node, String>();
     Map<LibraryElement, String> imports = new Map<LibraryElement, String>();
+    bool shouldCutDeclarationTypes = cutDeclarationTypes
+        || (compiler.enableMinification
+            && isSafeToRemoveTypeDeclarations(classMembers));
     renamePlaceholders(
         compiler, collector, renames, imports,
-        fixedMemberNames, cutDeclarationTypes);
+        fixedMemberNames, shouldCutDeclarationTypes);
 
     // Sort elements.
     final sortedTopLevels = sortElements(topLevelElements);
     final sortedClassMembers = new Map<ClassElement, List<Element>>();
     classMembers.forEach((classElement, members) {
       sortedClassMembers[classElement] = sortElements(members);
     });
 
     if (outputAst) {
       // TODO(antonm): Ideally XML should be a separate backend.
@@ skipping 94 matching lines @@
 }
 
 compareElements(e0, e1) {
   int result = compareBy((e) => e.getLibrary().uri.toString())(e0, e1);
   if (result != 0) return result;
   return compareBy((e) => e.position().charOffset)(e0, e1);
 }
 
 List<Element> sortElements(Collection<Element> elements) =>
     sorted(elements, compareElements);