Abstract over the type system.

pkg/analyzer/lib/src/generated/incremental_resolver.dart

Index: pkg/analyzer/lib/src/generated/incremental_resolver.dart
diff --git a/pkg/analyzer/lib/src/generated/incremental_resolver.dart b/pkg/analyzer/lib/src/generated/incremental_resolver.dart
index 5feaaa9558837b31161f9cadc6a81e48c331f5c5..09e7de68abac44e130fa65d29d91f749b932862a 100644
--- a/pkg/analyzer/lib/src/generated/incremental_resolver.dart
+++ b/pkg/analyzer/lib/src/generated/incremental_resolver.dart
@@ -850,6 +850,11 @@ class IncrementalResolver {
   TypeProvider _typeProvider;
 
   /**
+   * The object used to access the types from the core library.

[Paul Berry, 2015/09/05 03:25:39]

Copy-pasted comment.

[Leaf, 2015/09/15 23:01:12]

Done.

+   */
+  TypeSystem _typeSystem;
+
+ /**
    * The element for the library containing the compilation unit being resolved.
    */
   LibraryElementImpl _definingLibrary;
@@ -920,6 +925,7 @@ class IncrementalResolver {
     _source = _definingUnit.source;
     _context = _definingUnit.context;
     _typeProvider = _context.typeProvider;
+    _typeSystem = _context.typeSystem;
   }
 
   /**
@@ -1035,7 +1041,7 @@ class IncrementalResolver {
     {
       ErrorReporter errorReporter = new ErrorReporter(errorListener, _source);
       ConstantVerifier constantVerifier = new ConstantVerifier(errorReporter,
-          _definingLibrary, _typeProvider, _context.declaredVariables);
+                                                               _definingLibrary, _typeProvider, _typeSystem, _context.declaredVariables);
       node.accept(constantVerifier);
     }
   }
@@ -1249,6 +1255,7 @@ class IncrementalResolver {
           errorReporter,
           _definingLibrary,
           _typeProvider,
+          _typeSystem,
           new InheritanceManager(_definingLibrary),
           _context.analysisOptions.enableSuperMixins);
       if (_resolutionContext.enclosingClassDeclaration != null) {