Record variable names in type inference cycles.

pkg/analyzer/lib/src/summary/format.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 //
 // This file has been automatically generated.  Please do not edit it manually.
 // To regenerate the file, use the script "pkg/analyzer/tool/generate_files".
 
 library analyzer.src.summary.format;
 
 import 'flat_buffers.dart' as fb;
@@ skipping 4703 matching lines @@
         "unitUnitUris": unitUnitUris,
       };
 
   @override
   String toString() => convert.JSON.encode(toJson());
 }
 
 class TopLevelInferenceErrorBuilder extends Object
     with _TopLevelInferenceErrorMixin
     implements idl.TopLevelInferenceError {
+  List<String> _arguments;
   idl.TopLevelInferenceErrorKind _kind;
   int _slot;
 
   @override
+  List<String> get arguments => _arguments ??= <String>[];
+
+  /**
+   * The [kind] specific arguments.
+   */
+  void set arguments(List<String> value) {
+    this._arguments = value;
+  }
+
+  @override
   idl.TopLevelInferenceErrorKind get kind =>
       _kind ??= idl.TopLevelInferenceErrorKind.assignment;
 
   /**
    * The kind of the error.
    */
   void set kind(idl.TopLevelInferenceErrorKind value) {
     this._kind = value;
   }
 
   @override
   int get slot => _slot ??= 0;
 
   /**
    * The slot id (which is unique within the compilation unit) identifying the
    * target of type inference with which this [TopLevelInferenceError] is
    * associated.
    */
   void set slot(int value) {
     assert(value == null || value >= 0);
     this._slot = value;
   }
 
-  TopLevelInferenceErrorBuilder({idl.TopLevelInferenceErrorKind kind, int slot})
-      : _kind = kind,
+  TopLevelInferenceErrorBuilder(
+      {List<String> arguments, idl.TopLevelInferenceErrorKind kind, int slot})
+      : _arguments = arguments,
+        _kind = kind,
         _slot = slot;
 
   /**
    * Flush [informative] data recursively.
    */
   void flushInformative() {}
 
   /**
    * Accumulate non-[informative] data into [signature].
    */
   void collectApiSignature(api_sig.ApiSignature signature) {
     signature.addInt(this._slot ?? 0);
     signature.addInt(this._kind == null ? 0 : this._kind.index);
+    if (this._arguments == null) {
+      signature.addInt(0);
+    } else {
+      signature.addInt(this._arguments.length);
+      for (var x in this._arguments) {
+        signature.addString(x);
+      }
+    }
   }
 
   fb.Offset finish(fb.Builder fbBuilder) {
+    fb.Offset offset_arguments;
+    if (!(_arguments == null || _arguments.isEmpty)) {
+      offset_arguments = fbBuilder
+          .writeList(_arguments.map((b) => fbBuilder.writeString(b)).toList());
+    }
     fbBuilder.startTable();
+    if (offset_arguments != null) {
+      fbBuilder.addOffset(2, offset_arguments);
+    }
     if (_kind != null && _kind != idl.TopLevelInferenceErrorKind.assignment) {
       fbBuilder.addUint8(1, _kind.index);
     }
     if (_slot != null && _slot != 0) {
       fbBuilder.addUint32(0, _slot);
     }
     return fbBuilder.endTable();
   }
 }
 
 class _TopLevelInferenceErrorReader
     extends fb.TableReader<_TopLevelInferenceErrorImpl> {
   const _TopLevelInferenceErrorReader();
 
   @override
   _TopLevelInferenceErrorImpl createObject(fb.BufferContext bc, int offset) =>
       new _TopLevelInferenceErrorImpl(bc, offset);
 }
 
 class _TopLevelInferenceErrorImpl extends Object
     with _TopLevelInferenceErrorMixin
     implements idl.TopLevelInferenceError {
   final fb.BufferContext _bc;
   final int _bcOffset;
 
   _TopLevelInferenceErrorImpl(this._bc, this._bcOffset);
 
+  List<String> _arguments;
   idl.TopLevelInferenceErrorKind _kind;
   int _slot;
 
   @override
+  List<String> get arguments {
+    _arguments ??= const fb.ListReader<String>(const fb.StringReader())
+        .vTableGet(_bc, _bcOffset, 2, const <String>[]);
+    return _arguments;
+  }
+
+  @override
   idl.TopLevelInferenceErrorKind get kind {
     _kind ??= const _TopLevelInferenceErrorKindReader().vTableGet(
         _bc, _bcOffset, 1, idl.TopLevelInferenceErrorKind.assignment);
     return _kind;
   }
 
   @override
   int get slot {
     _slot ??= const fb.Uint32Reader().vTableGet(_bc, _bcOffset, 0, 0);
     return _slot;
   }
 }
 
 abstract class _TopLevelInferenceErrorMixin
     implements idl.TopLevelInferenceError {
   @override
   Map<String, Object> toJson() {
     Map<String, Object> _result = <String, Object>{};
+    if (arguments.isNotEmpty) _result["arguments"] = arguments;
     if (kind != idl.TopLevelInferenceErrorKind.assignment)
       _result["kind"] = kind.toString().split('.')[1];
     if (slot != 0) _result["slot"] = slot;
     return _result;
   }
 
   @override
   Map<String, Object> toMap() => {
+        "arguments": arguments,
         "kind": kind,
         "slot": slot,
       };
 
   @override
   String toString() => convert.JSON.encode(toJson());
 }
 
 class UnitIndexBuilder extends Object
     with _UnitIndexMixin
@@ skipping 7776 matching lines @@
         "nameOffset": nameOffset,
         "propagatedTypeSlot": propagatedTypeSlot,
         "type": type,
         "visibleLength": visibleLength,
         "visibleOffset": visibleOffset,
       };
 
   @override
   String toString() => convert.JSON.encode(toJson());
 }