Report compile time errors when assert initializers fail.

pkg/analyzer/lib/src/error/codes.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.
 
 library analyzer.src.error.codes;
 
 import 'package:analyzer/error/error.dart';
 
 export 'package:analyzer/src/analysis_options/error/option_codes.dart';
 export 'package:analyzer/src/dart/error/hint_codes.dart';
@@ skipping 622 matching lines @@
    * where e, e1 and e2 are constant expressions that evaluate to a numeric
    * value or to null.
    */
   static const CompileTimeErrorCode CONST_EVAL_TYPE_NUM =
       const CompileTimeErrorCode(
           'CONST_EVAL_TYPE_NUM',
           "In constant expressions, operands of this operator must be of type "
           "'num'.");
 
   /**
+   * https://github.com/dart-lang/sdk/blob/master/docs/language/informal/assert-in-initializer-list.md
+   *
+   * During a const constructor invocation (that is, when the `const`
+   * constructor is invoked using the const prefix), if the assert fails,
+   * either due to boolean conversion when `r` is not a boolean value or due to
+   * assertion failure when `r` is `false`, it is treated like any other
+   * compile-time throw in a compile-time constant expression, and it causes
+   * a compile-time error.
+   */
+  static const CompileTimeErrorCode CONST_EVAL_THROWS_ASSERT_NOT_BOOL =
+      const CompileTimeErrorCode(
+          'CONST_EVAL_THROWS_ASSERT_NOT_BOOL',
+          "In constant constructors the value of the condition of an assert "
+          "statement must be bool.");
+
+  /**
+   * https://github.com/dart-lang/sdk/blob/master/docs/language/informal/assert-in-initializer-list.md
+   *
+   * During a const constructor invocation (that is, when the `const`
+   * constructor is invoked using the const prefix), if the assert fails,
+   * either due to boolean conversion when `r` is not a boolean value or due to
+   * assertion failure when `r` is `false`, it is treated like any other
+   * compile-time throw in a compile-time constant expression, and it causes
+   * a compile-time error.
+   */
+  static const CompileTimeErrorCode CONST_EVAL_THROWS_ASSERT_FALSE =
+      const CompileTimeErrorCode('CONST_EVAL_THROWS_ASSERT_FALSE',
+          "Evaluation of this constant expression throws an AssertionError.");
+
+  /**
    * 16.12.2 Const: It is a compile-time error if evaluation of a constant
    * object results in an uncaught exception being thrown.
    */
   static const CompileTimeErrorCode CONST_EVAL_THROWS_EXCEPTION =
       const CompileTimeErrorCode('CONST_EVAL_THROWS_EXCEPTION',
           "Evaluation of this constant expression throws an exception.");
 
   /**
    * 16.12.2 Const: It is a compile-time error if evaluation of a constant
    * object results in an uncaught exception being thrown.
@@ skipping 4402 matching lines @@
    * created from the optional [correction] template.
    */
   const StrongModeCode(ErrorType type, String name, String message,
       [String correction])
       : type = type,
         super('STRONG_MODE_$name', message, correction);
 
   @override
   ErrorSeverity get errorSeverity => type.severity;
 }