Continue work on type propagation in optimizing compiler (still WIP).

runtime/vm/il_printer.cc

Index: runtime/vm/il_printer.cc
===================================================================
--- runtime/vm/il_printer.cc	(revision 10461)
+++ runtime/vm/il_printer.cc	(working copy)
@@ -93,11 +93,11 @@
     const Script& script = Script::Handle(cls.script());
     const char* static_type_name = "unknown";
     if (value != NULL) {
-      const AbstractType& type = AbstractType::Handle(value->StaticType());
+      const AbstractType& type = AbstractType::Handle(value->CompileType());
       static_type_name = String::Handle(type.UserVisibleName()).ToCString();
     }
     Parser::PrintMessage(script, token_pos, "",
-                         "%s type check: static type '%s' is %s specific than "
+                         "%s type check: compile type '%s' is %s specific than "
                          "type '%s' of '%s'.",
                          eliminated ? "Eliminated" : "Generated",
                          static_type_name,