Index: test/codegen/expect/language/function_subtype_not1_test.js |
diff --git a/test/codegen/expect/language/function_subtype_not1_test.js b/test/codegen/expect/language/function_subtype_not1_test.js |
new file mode 100644 |
index 0000000000000000000000000000000000000000..6f1c4b0c7488504ab97edc0a79228b682c19c77c |
--- /dev/null |
+++ b/test/codegen/expect/language/function_subtype_not1_test.js |
@@ -0,0 +1,54 @@ |
+dart_library.library('language/function_subtype_not1_test', null, /* Imports */[ |
+ 'dart_sdk', |
+ 'expect' |
+], function load__function_subtype_not1_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 function_subtype_not1_test = Object.create(null); |
+ let Foo = () => (Foo = dart.constFn(function_subtype_not1_test.Foo$()))(); |
+ let Class = () => (Class = dart.constFn(function_subtype_not1_test.Class$()))(); |
+ let FooOfbool = () => (FooOfbool = dart.constFn(function_subtype_not1_test.Foo$(core.bool)))(); |
+ let FooOfint = () => (FooOfint = dart.constFn(function_subtype_not1_test.Foo$(core.int)))(); |
+ let ClassOfint = () => (ClassOfint = dart.constFn(function_subtype_not1_test.Class$(core.int)))(); |
+ let ClassOfbool = () => (ClassOfbool = dart.constFn(function_subtype_not1_test.Class$(core.bool)))(); |
+ let VoidTovoid = () => (VoidTovoid = dart.constFn(dart.definiteFunctionType(dart.void, [])))(); |
+ function_subtype_not1_test.Foo$ = dart.generic(T => { |
+ const Foo = dart.typedef('Foo', () => dart.functionType(dart.void, [T])); |
+ return Foo; |
+ }); |
+ function_subtype_not1_test.Foo = Foo(); |
+ function_subtype_not1_test.Bar = dart.typedef('Bar', () => dart.functionType(dart.void, [core.int])); |
+ function_subtype_not1_test.Class$ = dart.generic(T => { |
+ class Class extends core.Object { |
+ bar(i) { |
+ T._check(i); |
+ } |
+ } |
+ dart.addTypeTests(Class); |
+ dart.setSignature(Class, { |
+ methods: () => ({bar: dart.definiteFunctionType(dart.void, [T])}) |
+ }); |
+ return Class; |
+ }); |
+ function_subtype_not1_test.Class = Class(); |
+ function_subtype_not1_test.main = function() { |
+ expect$.Expect.isFalse(!function_subtype_not1_test.Foo.is(dart.bind(new function_subtype_not1_test.Class(), 'bar'))); |
+ expect$.Expect.isFalse(!FooOfbool().is(dart.bind(new function_subtype_not1_test.Class(), 'bar'))); |
+ expect$.Expect.isFalse(!FooOfint().is(dart.bind(new function_subtype_not1_test.Class(), 'bar'))); |
+ expect$.Expect.isFalse(!function_subtype_not1_test.Bar.is(dart.bind(new function_subtype_not1_test.Class(), 'bar'))); |
+ expect$.Expect.isFalse(!function_subtype_not1_test.Foo.is(dart.bind(new (ClassOfint())(), 'bar'))); |
+ expect$.Expect.isTrue(!FooOfbool().is(dart.bind(new (ClassOfint())(), 'bar'))); |
+ expect$.Expect.isFalse(!FooOfint().is(dart.bind(new (ClassOfint())(), 'bar'))); |
+ expect$.Expect.isFalse(!function_subtype_not1_test.Bar.is(dart.bind(new (ClassOfint())(), 'bar'))); |
+ expect$.Expect.isFalse(!function_subtype_not1_test.Foo.is(dart.bind(new (ClassOfbool())(), 'bar'))); |
+ expect$.Expect.isFalse(!FooOfbool().is(dart.bind(new (ClassOfbool())(), 'bar'))); |
+ expect$.Expect.isTrue(!FooOfint().is(dart.bind(new (ClassOfbool())(), 'bar'))); |
+ expect$.Expect.isTrue(!function_subtype_not1_test.Bar.is(dart.bind(new (ClassOfbool())(), 'bar'))); |
+ }; |
+ dart.fn(function_subtype_not1_test.main, VoidTovoid()); |
+ // Exports: |
+ exports.function_subtype_not1_test = function_subtype_not1_test; |
+}); |