| Index: test/codegen/expect/language/type_propagation_in_for_update_test.js | 
| diff --git a/test/codegen/expect/language/type_propagation_in_for_update_test.js b/test/codegen/expect/language/type_propagation_in_for_update_test.js | 
| new file mode 100644 | 
| index 0000000000000000000000000000000000000000..11e35fa3190a463264ac94bff9a0e3d6f679c7db | 
| --- /dev/null | 
| +++ b/test/codegen/expect/language/type_propagation_in_for_update_test.js | 
| @@ -0,0 +1,37 @@ | 
| +dart_library.library('language/type_propagation_in_for_update_test', null, /* Imports */[ | 
| +  'dart_sdk', | 
| +  'expect' | 
| +], function load__type_propagation_in_for_update_test(exports, dart_sdk, expect) { | 
| +  'use strict'; | 
| +  const core = dart_sdk.core; | 
| +  const dart = dart_sdk.dart; | 
| +  const dartx = dart_sdk.dartx; | 
| +  const expect$ = expect.expect; | 
| +  const type_propagation_in_for_update_test = Object.create(null); | 
| +  let VoidTodynamic = () => (VoidTodynamic = dart.constFn(dart.definiteFunctionType(dart.dynamic, [])))(); | 
| +  type_propagation_in_for_update_test.bar = function() { | 
| +    return 'foo'; | 
| +  }; | 
| +  dart.fn(type_propagation_in_for_update_test.bar, VoidTodynamic()); | 
| +  type_propagation_in_for_update_test.main = function() { | 
| +    expect$.Expect.throws(type_propagation_in_for_update_test.foo1); | 
| +    expect$.Expect.throws(type_propagation_in_for_update_test.foo2); | 
| +  }; | 
| +  dart.fn(type_propagation_in_for_update_test.main, VoidTodynamic()); | 
| +  type_propagation_in_for_update_test.foo1 = function() { | 
| +    let a = type_propagation_in_for_update_test.bar(); | 
| +    for (;; a = 1 + dart.notNull(core.num._check(a))) { | 
| +      if (!dart.equals(a, 'foo')) return; | 
| +    } | 
| +  }; | 
| +  dart.fn(type_propagation_in_for_update_test.foo1, VoidTodynamic()); | 
| +  type_propagation_in_for_update_test.foo2 = function() { | 
| +    let a = type_propagation_in_for_update_test.bar(); | 
| +    for (;; a = 1 + dart.notNull(core.num._check(a))) { | 
| +      if (!dart.equals(a, 'foo')) break; | 
| +    } | 
| +  }; | 
| +  dart.fn(type_propagation_in_for_update_test.foo2, VoidTodynamic()); | 
| +  // Exports: | 
| +  exports.type_propagation_in_for_update_test = type_propagation_in_for_update_test; | 
| +}); | 
|  |