Track types for arguments passed to calls to static functions

lib/compiler/implementation/ssa/optimize.dart

Index: lib/compiler/implementation/ssa/optimize.dart
diff --git a/lib/compiler/implementation/ssa/optimize.dart b/lib/compiler/implementation/ssa/optimize.dart
index 4faa8e9e2e4ae016ee5352b71ae07b34f8c7f2fd..91e881584ac40dbaa05f56512b838fa3107795b7 100644
--- a/lib/compiler/implementation/ssa/optimize.dart
+++ b/lib/compiler/implementation/ssa/optimize.dart
@@ -563,6 +563,7 @@ class SsaConstantFolder extends HBaseVisitor implements OptimizationPhase {
     if (type === null) return node;
     Element field = compiler.world.locateSingleField(type, node.name);
     if (field === null) return node;
+    if (field.getLibrary() !== work.element.getLibrary()) return node;

[floitsch, 2012/08/15 09:11:59]

if (field.getLibrary() !== work.element.getLibrary() && node.name.isPrivate())
return node;

I would prefer this change in a separate CL.

[Søren Gjesse, 2012/08/15 12:17:10]

Moved to http://codereview.chromium.org/10830331/

     Modifiers modifiers = field.modifiers;
     bool isFinalOrConst = false;
     if (modifiers != null) {