dart2js cps: Support --trust-primitives and --trust-type-annotations.

pkg/compiler/lib/src/cps_ir/cps_ir_tracer.dart

Index: pkg/compiler/lib/src/cps_ir/cps_ir_tracer.dart
diff --git a/pkg/compiler/lib/src/cps_ir/cps_ir_tracer.dart b/pkg/compiler/lib/src/cps_ir/cps_ir_tracer.dart
index 1b4d2f4a755681ec62b1455c564c23dfefbe19ff..372f1f1383c7bd3e72a7cf856cdff96a90e83e38 100644
--- a/pkg/compiler/lib/src/cps_ir/cps_ir_tracer.dart
+++ b/pkg/compiler/lib/src/cps_ir/cps_ir_tracer.dart
@@ -90,7 +90,8 @@ class IRTracer extends TracerUtil implements cps_ir.Visitor {
         }
         for (cps_ir.Parameter param in block.parameters) {
           String name = names.name(param);
-          printStmt(name, "Parameter $name [useCount=${countUses(param)}]");
+          printStmt(name, "Parameter $name "
+              "[type=${param.type}, useCount=${countUses(param)}]");
         }
         visit(block.body);
       });
@@ -415,7 +416,7 @@ class IRTracer extends TracerUtil implements cps_ir.Visitor {
   @override
   visitRefinement(cps_ir.Refinement node) {
     String value = formatReference(node.value);
-    return 'Refinement $value ${node.type}';
+    return 'Refinement $value ${node.refineType}';
   }
 }