Redo "Separate HTypeConversion checked type from output type."

sdk/lib/_internal/compiler/implementation/ssa/optimize.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;
 
 abstract class OptimizationPhase {
   String get name;
   void visitGraph(HGraph graph);
 }
@@ skipping 582 matching lines @@
     DartType type = node.typeExpression;
     if (type != null) {
       if (!type.treatAsRaw || type.kind == TypeKind.TYPE_VARIABLE) {
         return node;
       }
       if (type.kind == TypeKind.FUNCTION) {
         // TODO(johnniwinther): Optimize function type conversions.
         return node;
       }
     }
-    return removeIfCheckAlwaysSucceeds(node, node.instructionType);
+    return removeIfCheckAlwaysSucceeds(node, node.checkedType);
   }
 
   HInstruction visitTypeKnown(HTypeKnown node) {
     return removeIfCheckAlwaysSucceeds(node, node.knownType);
   }
 
   HInstruction removeIfCheckAlwaysSucceeds(HCheck node, HType checkedType) {
     if (checkedType.isUnknown()) return node;
     HInstruction input = node.checkedInput;
     HType inputType = input.instructionType;
@@ skipping 900 matching lines @@
       // that knows it is not of a specific Type.
     }
 
     for (HIf ifUser in notIfUsers) {
       changeUsesDominatedBy(ifUser.elseBlock, input, convertedType);
       // TODO(ngeoffray): Also change uses for the then block on a HType
       // that knows it is not of a specific Type.
     }
   }
 }