Reapply "Refactor type propagation."

frog/tests/leg/src/TypeInference2Test.dart

Index: frog/tests/leg/src/TypeInference2Test.dart
diff --git a/frog/tests/leg/src/TypeInference2Test.dart b/frog/tests/leg/src/TypeInference2Test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..6a9cf383212311a129f93754ede7401c11a82051
--- /dev/null
+++ b/frog/tests/leg/src/TypeInference2Test.dart
@@ -0,0 +1,20 @@
+// Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+#import("compiler_helper.dart");
+
+final String TEST_ONE = @"""
+sum(param0, param1) {
+  var sum = 0;
+  for (var i = param0; i < param1; i += 1) sum = sum + i;
+  return sum;
+}
+""";
+
+main() {
+  String generated = compile(TEST_ONE, 'sum');
+  // We don't want "i = t0" in the loop-update, but i = <id> + 1.
+  RegExp regexp = new RegExp("i = \\(?$anyIdentifier \\+ \\(1\\)\\)?");
+  Expect.isTrue(regexp.hasMatch(generated));
+}