- Use canonicalized type of non-parameterized classes when

runtime/vm/flow_graph_type_propagator.cc

Index: runtime/vm/flow_graph_type_propagator.cc
===================================================================
--- runtime/vm/flow_graph_type_propagator.cc	(revision 31170)
+++ runtime/vm/flow_graph_type_propagator.cc	(working copy)
@@ -808,17 +808,17 @@
 
 
 CompileType CurrentContextInstr::ComputeType() const {
-  return CompileType::FromCid(kContextCid);
+  return CompileType::Dynamic();

[Florian Schneider, 2013/12/17 10:39:23]

Correct, but I think the cid can be more precise. Something like this should
work:

CompileType(/*nullable=*/ false,
            kContextCid,
            &AbstractType::ZoneHandle(Type::DynamicType())

[Ivan Posva, 2013/12/17 16:58:04]

Done.

 }
 
 
 CompileType CloneContextInstr::ComputeType() const {
-  return CompileType::FromCid(kContextCid);
+  return CompileType::Dynamic();

[Florian Schneider, 2013/12/17 10:39:23]

Same here.

[Ivan Posva, 2013/12/17 16:58:04]

Done.

 }
 
 
 CompileType AllocateContextInstr::ComputeType() const {
-  return CompileType::FromCid(kContextCid);
+  return CompileType::Dynamic();

[Florian Schneider, 2013/12/17 10:39:23]

And here.

[Ivan Posva, 2013/12/17 16:58:04]

Done.

 }