blob: 52b2ec9bde622453d27d3c9990713849359ff84d [file] [log] [blame]
// 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';
/*class: A:checks=[],instance*/
class A<T> {
@NoInline()
m() {
// TODO(johnniwinther): The signature is not needed since the type isn't a
// potential subtype of the checked function types.
return
/*kernel.checks=[$signature],instance*/
/*strong.checks=[],instance*/
/*omit.checks=[],instance*/
(T t, String s) {};
}
}
@NoInline()
test(o) => o is void Function(int);
main() {
test(new A<int>().m());
}