blob: df34ca283d7dcbbc886a1c8b7891c03f47b8e435 [file] [log] [blame]
* 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-time error if k is prefixed with the const
* modifier but k' is not a constant constructor.
* @description Checks that it is a compile-error if const redirecting
* factory constructor redirects to non-const generative constructor
* @compile-error
* @author ilya
class F {
const factory F() = C;
class C implements F {
main() {
new F();