// 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 Given an instance creation expression of the form
/// const q(a1, ..., an) it is a static warning if q is a constructor of an
/// abstract class but q is not a factory constructor.
/// @description Checks that an instance creation expression of the form const
/// T.id(a1, .., an), where T is a class containing an abstract method,
/// produces a compile error
/// @author msyabro


class A {
//    ^
// [cfe] unspecified
  const A.id();
  f();
//^
// [analyzer] unspecified
}

main() {
  const A.id();
}