Infer types of catpured variables and use the types in the SSA builder.

tests/compiler/dart2js/simple_inferrer_closure_test.dart

Index: tests/compiler/dart2js/simple_inferrer_closure_test.dart
===================================================================
--- tests/compiler/dart2js/simple_inferrer_closure_test.dart	(revision 19427)
+++ tests/compiler/dart2js/simple_inferrer_closure_test.dart	(working copy)
@@ -44,7 +44,7 @@
   var a = 42;
   if (a == 53) {
     var f = () {
-      a = 32;
+      return a;
     };
   }
   return a;
@@ -60,6 +60,12 @@
   return a;
 }
 
+returnInt4() {
+  var a = 42;
+  g() { return a; }
+  return g();
+}
+
 main() {
   returnInt1();
   returnDyn1();
@@ -67,6 +73,7 @@
   returnDyn2();
   returnInt3();
   returnDyn3();
+  returnInt4();
 }
 """;
 
@@ -83,12 +90,14 @@
   }
 
   checkReturn('returnInt1', compiler.intClass);
-  checkReturn('returnInt2', compiler.intClass);
+  // TODO(ngeoffray): We don't use types of mutated captured

[kasperl, 2013/03/05 08:26:44]

So you'd like to fix this to make returnInt2 return an int? I guess so.

[ngeoffray, 2013/03/05 09:02:31]

Depends on the TODO I added in the types inferrer: once we definitely know the
type of a mutated variable, should we re-analyze the method?

I guess this should not blow up analysis time, mutated variables in closures are
very local, and does not involve re-analyzing a lot of methods.

+  // variables anymore, because they could lead to optimistic results
+  // needing to be re-analyzed.
+  checkReturn('returnInt2', compiler.dynamicClass);
   checkReturn('returnInt3', compiler.intClass);
+  checkReturn('returnInt4', compiler.intClass);
 
   checkReturn('returnDyn1', compiler.dynamicClass);
   checkReturn('returnDyn2', compiler.dynamicClass);
   checkReturn('returnDyn3', compiler.dynamicClass);
-
-  print(typesInferrer.returnTypeOf);
 }