blob: 58f9d98fc1b42ab2c37358b6bb99e60bd7285134 [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){}));