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