Element model support for covariant

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 c3894caf965584dfd32e87b935d8e5179a0131d7..0c8314de8f4b0bc0de656c1933bb22ef46521131 100644
--- a/pkg/analyzer/lib/src/summary/idl.dart
+++ b/pkg/analyzer/lib/src/summary/idl.dart
@@ -2562,6 +2562,12 @@ abstract class UnlinkedParam extends base.SummaryClass {
   UnlinkedExecutable get initializer;
 
   /**
+   * Indicates whether this parameter is explicitly marked as being covariant.
+   */
+  @Id(15)
+  bool get isExplicitlyCovariant;
+
+  /**
    * Indicates whether this is a function-typed parameter.
    */
   @Id(5)
@@ -3060,6 +3066,13 @@ abstract class UnlinkedVariable extends base.SummaryClass {
   bool get isConst;
 
   /**
+   * Indicates whether this variable is declared using the `covariant` keyword.
+   * This should be false for everything except instance fields.
+   */
+  @Id(14)
+  bool get isCovariant;
+
+  /**
    * Indicates whether the variable is declared using the `final` keyword.
    */
   @Id(7)