// 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 static warning if the static type of ai, 1 <= i <= n + k
/// may not be assigned to the type of the corresponding formal parameter of the
/// constructor T.id (respectively T).
/// @description Checks that it is a compile error if the static type of
/// one of arguments can't be assigned to the type of the corresponding
/// parameter of the named constructor.
/// @compile-error
/// @author msyabro


class C {
  C.name(int p1) {}
}

main() {
  new C.name("");
}