// 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.

// @dart = 2.7

import 'package:compiler/src/util/testing.dart';

/*class: A:checks=[],instance*/
class A {
  call(int i) {}
}

@pragma('dart2js:noInline')
test(o) => o is Function(int);

main() {
  makeLive(test(new A()));
  makeLive(test(null));
}
