anchor.diff:                initializerVisitor,
                 externalErrorReporter,
                 invocation: invocation);
  -          reportLocalErrorForRecordedExternalErrors();
  +          if (externalErrorListener.errorReported) {
  +            errorReporter.reportErrorForNode(
  +                CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION, node);
  +          }
             return result;
           }
         } else if (initializer is AssertInitializer) {
  
positive.code:   }
  
    /**
     * Convenience getter to gain access to the [evalationEngine]'s type
     * provider.
     */
    TypeProvider get _typeProvider => evaluationEngine.typeProvider;
  
    /**
     * Convenience getter to gain access to the [evaluationEngine]'s type system.
     */
    TypeSystem get typeSystem => evaluationEngine.typeSystem;
  
    /**
     * Given a [type] that may contain free type variables, evaluate them against
  
negative.code:     // into the current ErrorReporter, because they usually happen in a
      // different source. But they still should cause a constant evaluation
      // error for the current node.
      var externalErrorListener = new BooleanErrorListener();
      var externalErrorReporter =
          new ErrorReporter(externalErrorListener, constructor.source);
  
      // Start with final fields that are initialized at their declaration site.
      List<FieldElement> fields = constructor.enclosingElement.fields;
  