// 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 of type arguments.

import 'package:expect/expect.dart';

class C<T> {}

class I {}

class J extends I {}

typedef void f1(C<J> c);
typedef void f2(C<I> c);

main() {
  Expect.isTrue(new C<f2>() is C<f1>);
}
