Add token invariant to DiagnosticReporter

pkg/compiler/lib/src/resolution/registry.dart

Index: pkg/compiler/lib/src/resolution/registry.dart
diff --git a/pkg/compiler/lib/src/resolution/registry.dart b/pkg/compiler/lib/src/resolution/registry.dart
index a01b17c3e79064feaf673ad741b3c88d82bd9a47..5fc06e1f13f5d345974e0505fff4d94207f46d8f 100644
--- a/pkg/compiler/lib/src/resolution/registry.dart
+++ b/pkg/compiler/lib/src/resolution/registry.dart
@@ -19,6 +19,7 @@ import '../compiler.dart' show
     Compiler;
 import '../constants/expressions.dart';
 import '../dart_types.dart';
+import '../diagnostics/source_span.dart';
 import '../enqueue.dart' show
     ResolutionEnqueuer;
 import '../elements/elements.dart';
@@ -314,8 +315,8 @@ class ResolutionRegistry extends Registry {
     worldImpact.registerTypeUse(typeUse);
   }
 
-  void registerSuperUse(Node node) {
-    mapping.addSuperUse(node);
+  void registerSuperUse(SourceSpan span) {
+    mapping.addSuperUse(span);
   }
 
   void registerTypeLiteral(Send node, DartType type) {