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

class A {
  final int x;
  const A.a1() : x = 'foo'; /// 01: continued
  const A.a2(this.x);
  const A.a3([this.x = 'foo']); /// 03: continued
  const A.a4(String this.x); /// 04: continued
  const A.a5(String x) : this.x = x; /// 05: continued
  const A.a6(int x) : this.x = x;
}

const a1 = const A.a1(); /// 01: static type warning, compile-time error
const a2 = const A.a2('foo'); /// 02: static type warning, compile-time error
const a3 = const A.a3(); /// 03: static type warning, compile-time error
const a4 = const A.a4('foo'); /// 04: static type warning, compile-time error
const a5 = const A.a5('foo'); /// 05: static type warning, compile-time error
const a6 = const A.a6('foo'); /// 06: static type warning, compile-time error

main() {
  print(a1); /// 01: continued
  print(a2); /// 02: continued
  print(a3); /// 03: continued
  print(a4); /// 04: continued
  print(a5); /// 05: continued
  print(a6); /// 06: continued
}