anchor.diff:    }
   
     /**
  -   * Convenience getter to gain access to the [evalationEngine]'s type
  +   * Convenience getter to gain access to the [evaluationEngine]'s type system.
  +   */
  +  TypeSystem get typeSystem => evaluationEngine.typeSystem;
  +
  +  /**
  +   * Convenience getter to gain access to the [evaluationEngine]'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
  
positive.code:               initializerVisitor,
                externalErrorReporter,
                invocation: invocation);
            reportLocalErrorForRecordedExternalErrors();
            return result;
          }
        } else if (initializer is AssertInitializer) {
  
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;
  