anchor.diff:        const CompileTimeErrorCode(
             'INTEGER_LITERAL_IMPRECISE_AS_DOUBLE',
             "The integer literal is being used as a double, but can't be "
  -              'represented as a 64 bit double without overflow and/or loss of '
  -              'precision: {0}',
  -          correction:
  -              'Try using the BigInt class, or switch to the closest valid '
  -              'double: {1}');
  +              "represented as a 64 bit double without overflow and/or loss of "
  +              "precision: {0}",
  +          correction:
  +              "Try using the BigInt class, or switch to the closest valid "
  +              "double: {1}");
   
     /**
      * 15 Metadata: Metadata consists of a series of annotations, each of which
  
positive.code:   static const StaticWarningCode UNCHECKED_USE_OF_NULLABLE_VALUE =
        const StaticWarningCode(
            'UNCHECKED_USE_OF_NULLABLE_VALUE',
            'The expression is nullable and must be null-checked before it can be'
                ' used.',
            correction:
                'Try casting or check the value is not null before using it.');
  
    /**
     * It is a static warning to assign void to any non-void type in dart.
  
negative.code:       'USE_OF_VOID_RESULT',
        "The expression here has a type of 'void', and therefore cannot be used.",
        correction:
            "Check if you are using the correct API; there may be a function or"
            " call that returns void you didn't expect. Also check type parameters"
            " and variables which, in rare cases, may be void as well.");
  
    @override
    final ErrorSeverity errorSeverity;
  