| Index: test/codegen/expect/language/type_propagation2_test.js | 
| diff --git a/test/codegen/expect/language/type_propagation2_test.js b/test/codegen/expect/language/type_propagation2_test.js | 
| new file mode 100644 | 
| index 0000000000000000000000000000000000000000..a5ee4fc42c01b9d343fce85daa94a6a3f8ede06b | 
| --- /dev/null | 
| +++ b/test/codegen/expect/language/type_propagation2_test.js | 
| @@ -0,0 +1,37 @@ | 
| +dart_library.library('language/type_propagation2_test', null, /* Imports */[ | 
| +  'dart_sdk' | 
| +], function load__type_propagation2_test(exports, dart_sdk) { | 
| +  'use strict'; | 
| +  const core = dart_sdk.core; | 
| +  const dart = dart_sdk.dart; | 
| +  const dartx = dart_sdk.dartx; | 
| +  const type_propagation2_test = Object.create(null); | 
| +  let dynamicTodynamic = () => (dynamicTodynamic = dart.constFn(dart.definiteFunctionType(dart.dynamic, [dart.dynamic])))(); | 
| +  let VoidTodynamic = () => (VoidTodynamic = dart.constFn(dart.definiteFunctionType(dart.dynamic, [])))(); | 
| +  type_propagation2_test.Bar = dart.callableClass(function Bar(...args) { | 
| +    const self = this; | 
| +    function call(...args) { | 
| +      return self.call.apply(self, args); | 
| +    } | 
| +    call.__proto__ = this.__proto__; | 
| +    call.new.apply(call, args); | 
| +    return call; | 
| +  }, class Bar extends core.Object { | 
| +    noSuchMethod(e) { | 
| +      return null; | 
| +    } | 
| +  }); | 
| +  type_propagation2_test.main = function() { | 
| +    let d = new type_propagation2_test.Bar(); | 
| +    while (false) { | 
| +      let input = dart.dcall(dart.fn(x => { | 
| +      }, dynamicTodynamic()), null); | 
| +      let p2 = dart.dsend(dart.dload(input, 'keys'), 'firstWhere', null); | 
| +      let a2 = dart.dsend(dart.dload(input, 'keys'), 'firstWhere', null); | 
| +      core.print(dart.equals(dart.dindex(input, a2), p2)); | 
| +    } | 
| +  }; | 
| +  dart.fn(type_propagation2_test.main, VoidTodynamic()); | 
| +  // Exports: | 
| +  exports.type_propagation2_test = type_propagation2_test; | 
| +}); | 
|  |