Language/Classes/Constructors/Factories/arguments_type_t01.dart

// Copyright (c) 2011, 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.

/// @assertion It is a compile error warning if any of the type arguments to k'
/// are not subtypes of the bounds of the corresponding formal type parameters
/// of type.
/// @description Checks that a compile error is produced if factory constructor
/// type parameters are not subtypes of bounds of corresponding type parameters
/// of redirected class constructor.
/// @author ilya


class F <T extends String> {
  factory F([T x]) = C;
//                   ^
// [analyzer] unspecified
// [cfe] unspecified
}

class C <T extends num> implements F<T> {
//                                   ^
// [analyzer] unspecified
// [cfe] unspecified

  C([T x]);
//     ^
// [analyzer] unspecified
// [cfe] unspecified
}

main() {
  new F<String>();
}