// Copyright (c) 2018, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

import 'package:expect/expect.dart';
import 'package:meta/dart2js.dart';

/*strong.class: C:checkedInstance,checks=[],instance,typeArgument*/
/*omit.class: C:checks=[],instance,typeArgument*/
class C {
  call(int i) {}
}

/*strong.class: D:checkedInstance,checks=[],instance,typeArgument*/
/*omit.class: D:checks=[],instance,typeArgument*/
class D {
  call(double i) {}
}

@noInline
test1(o) => o is Function(int);

@noInline
test2(o) => o is List<Function(int)>;

main() {
  Expect.isFalse(test1(new C()));
  Expect.isFalse(test1(new D()));
  Expect.isFalse(test2(<C>[]));
  Expect.isFalse(test2(<D>[]));
}