|  | // 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. | 
|  |  | 
|  | main() { | 
|  | var c0 = const C0(); //# 01: compile-time error | 
|  | var i0 = const I0(); //# 02: compile-time error | 
|  | var c1 = const C1(); | 
|  | var c2 = const C2(); //# 03: compile-time error | 
|  | var c3 = const C3(); | 
|  | } | 
|  |  | 
|  | abstract class I0 { | 
|  | factory I0() = C0; | 
|  | } | 
|  |  | 
|  | class C0 implements I0 { | 
|  | C0(); | 
|  | } | 
|  |  | 
|  | class C1 { | 
|  | const C1(); | 
|  | var modifiable; //# 04: compile-time error | 
|  | } | 
|  |  | 
|  | class C2 { | 
|  | C2(); | 
|  | } | 
|  |  | 
|  | class C3 { | 
|  | const C3() | 
|  | : field = new C0() //# 05: compile-time error | 
|  | ; | 
|  | final field = null; | 
|  | } |