Introduce constraints of deferred constants.

tests/language/deferred_constraints_test.dart

 // Copyright (c) 2014, 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.
 
 import "dart:async";
 import 'package:expect/expect.dart';
 
 @lazy import "deferred_constraints_lib.dart" as lib;
 import "deferred_constraints_lib.dart" as lib2; /// type_annotation_non_deferred: ok
 
 const lazy = const DeferredLibrary('lib');
 
 class F {}
 class G2<T> {}
 
+void f({a: const lib.Const()}) {} /// const_default_argument: compile-time error
+
+@lib.Const() class H {} /// const_annotation: compile-time error
+
 void main() {
   Expect.throws(() { /// type_annotation1: static type warning
     lib.C a = new lib.C(); /// type_annotation1: continued
   }, (e) => e is NoSuchMethodError); /// type_annotation1: continued
   lib.C a = null; /// type_annotation_null: static type warning
 
   // In this case we do not defer C.
   lib2.C a1 = new lib2.C(); /// type_annotation_non_deferred: continued
   lazy.load().then((_) {
     lib.C a2 = new lib.C(); /// type_annotation2: dynamic type error, static type warning
@@ skipping 11 matching lines @@
     Expect.throws(() { /// is_check: static type warning
       bool a7 = instance is lib.Const; /// is_check: continued
     }, (e) => e is TypeError); /// is_check: continued
     Expect.throws(() { /// as_operation: static type warning
       instance as lib.Const; /// as_operation: continued
     }, (e) => e is TypeError); /// as_operation: continued
     Expect.throws(() { /// catch_check: static type warning
       try { throw instance; } on lib.Const {} /// catch_check: continued
     }, (e) => e is TypeError); /// catch_check: continued
     int i = lib.C.staticMethod(); /// static_method: ok
+    var c1 = const lib.Const(); /// const: compile-time error
+    f();  /// const_default_argument: continued
+    var constInstance = lib.constantInstance; /// const_instance: ok
+    var h = new H(); /// const_annotation: continued
   });
 }
 
 lib.C a9 = null; /// type_annotation_top_level: static type warning