| 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; | 
| +}); | 
|  |