blob: 3c78402872078a8c348b027f98c407fdfe2e60cf [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 A generative constructor may be redirecting, in which case its
* only action is to invoke another generative constructor. A redirecting
* constructor has no body; instead, it has a redirect clause that specifies
* which constructor the invocation is redirected to, and with what arguments.
* redirection:
* ':' this ('.' identifier)? arguments
* ;
* @description Checks that a compile error is produced if a redirecting
* constructor has a body.
* @compile-error
* @author pagolubev
*/
class C {
C() : this.init() {}
C.init();
}
main() {
new C();
}