Index: test/codegen/expect/language/type_propagation_test.js |
diff --git a/test/codegen/expect/language/type_propagation_test.js b/test/codegen/expect/language/type_propagation_test.js |
new file mode 100644 |
index 0000000000000000000000000000000000000000..eca47b97d9dad4d4f79aa0a0e8e16c57620d41de |
--- /dev/null |
+++ b/test/codegen/expect/language/type_propagation_test.js |
@@ -0,0 +1,55 @@ |
+dart_library.library('language/type_propagation_test', null, /* Imports */[ |
+ 'dart_sdk', |
+ 'expect' |
+], function load__type_propagation_test(exports, dart_sdk, expect) { |
+ 'use strict'; |
+ const core = dart_sdk.core; |
+ const _interceptors = dart_sdk._interceptors; |
+ const dart = dart_sdk.dart; |
+ const dartx = dart_sdk.dartx; |
+ const expect$ = expect.expect; |
+ const type_propagation_test = Object.create(null); |
+ let JSArrayOfB = () => (JSArrayOfB = dart.constFn(_interceptors.JSArray$(type_propagation_test.B)))(); |
+ let JSArrayOfObject = () => (JSArrayOfObject = dart.constFn(_interceptors.JSArray$(core.Object)))(); |
+ let VoidTodynamic = () => (VoidTodynamic = dart.constFn(dart.definiteFunctionType(dart.dynamic, [])))(); |
+ type_propagation_test.A = class A extends core.Object { |
+ resolveSend(node) { |
+ if (node == null) { |
+ return JSArrayOfB().of([new type_propagation_test.B()])[dartx.get](0); |
+ } else { |
+ return JSArrayOfObject().of([new type_propagation_test.B(), new type_propagation_test.A()])[dartx.get](1); |
+ } |
+ } |
+ visitSend(node) { |
+ let target = this.resolveSend(node); |
+ if (false) { |
+ if (false) { |
+ target = dart.dload(target, 'getter'); |
+ if (false) { |
+ target = new core.Object(); |
+ } |
+ } |
+ } |
+ return true ? target : null; |
+ } |
+ }; |
+ dart.setSignature(type_propagation_test.A, { |
+ methods: () => ({ |
+ resolveSend: dart.definiteFunctionType(dart.dynamic, [dart.dynamic]), |
+ visitSend: dart.definiteFunctionType(dart.dynamic, [dart.dynamic]) |
+ }) |
+ }); |
+ type_propagation_test.a = 43; |
+ type_propagation_test.B = class B extends core.Object { |
+ new() { |
+ this.getter = type_propagation_test.a == 42 ? new type_propagation_test.A() : null; |
+ } |
+ }; |
+ type_propagation_test.main = function() { |
+ expect$.Expect.isTrue(type_propagation_test.A.is(new type_propagation_test.A().visitSend(new type_propagation_test.A()))); |
+ expect$.Expect.isTrue(type_propagation_test.B.is(new type_propagation_test.A().visitSend(null))); |
+ }; |
+ dart.fn(type_propagation_test.main, VoidTodynamic()); |
+ // Exports: |
+ exports.type_propagation_test = type_propagation_test; |
+}); |