blob: ef39ba91546793e771300a0eb73f3e0f8b2c866a [file] [log] [blame]
// Copyright (c) 2013, 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 test program for constructors and initializers.
// Check function subtyping with type variables in factory constructors.
import 'package:expect/expect.dart';
typedef void Foo();
class A<T> {
bool foo(a) => a is T;
void bar1() {}
void bar2(i) {}
void main() {
void bar3() {}
void bar4(i) {}
Expect.isTrue(new A<Foo>().foo(bar1));
Expect.isFalse(new A<Foo>().foo(bar2));
Expect.isTrue(new A<Foo>().foo(bar3));
Expect.isFalse(new A<Foo>().foo(bar4));
Expect.isTrue(new A<Foo>().foo(() {}));
Expect.isFalse(new A<Foo>().foo((i) {}));