Store type inference errors into EntityRef.

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

Index: pkg/analyzer/lib/src/summary/idl.dart
diff --git a/pkg/analyzer/lib/src/summary/idl.dart b/pkg/analyzer/lib/src/summary/idl.dart
index 14e506f3c84f8a122e2b86c65b3656e39739ad6e..2ca4bb4dd377a4cf0e0156b4771e2bf75bba44bd 100644
--- a/pkg/analyzer/lib/src/summary/idl.dart
+++ b/pkg/analyzer/lib/src/summary/idl.dart
@@ -443,6 +443,16 @@ abstract class EntityRef extends base.SummaryClass {
   EntityRef get syntheticReturnType;
 
   /**
+   * If this [EntityRef] is a result of type inference, and so contained within
+   * [LinkedUnit.types], and was computed as a result of top-level type
+   * inference, which failed for this target, contains the list of one or more
+   * errors describing the failure.  The [reference] must point at `dynamic` in
+   * this case.
+   */
+  @Id(8)
+  List<TopLevelInferenceError> get topLevelInferenceErrors;
+
+  /**
    * If this is an instantiation of a generic type or generic executable, the
    * type arguments used to instantiate it (if any).
    */
@@ -1103,6 +1113,17 @@ enum ReferenceKind {
 }
 
 /**
+ * Summary information about a top-level type inference error.
+ */
+abstract class TopLevelInferenceError extends base.SummaryClass {
+  /**
+   * The message describing the error.
+   */
+  @Id(0)
+  String get message;
+}
+
+/**
  * Enum used to indicate the style of a typedef.
  */
 enum TypedefStyle {