Infer types of instance methods before any other inference.

pkg/analyzer/lib/src/dart/element/element.dart

Index: pkg/analyzer/lib/src/dart/element/element.dart
diff --git a/pkg/analyzer/lib/src/dart/element/element.dart b/pkg/analyzer/lib/src/dart/element/element.dart
index aa31f7d2ed102124249b6a2c5a055623634bec38..9eb38ab93468fcc8c7079b93fd8b17b0948c5d83 100644
--- a/pkg/analyzer/lib/src/dart/element/element.dart
+++ b/pkg/analyzer/lib/src/dart/element/element.dart
@@ -455,6 +455,12 @@ class ClassElementImpl extends AbstractClassElementImpl
   List<MethodElement> _methods;
 
   /**
+   * A flag indicating whether the types associated with the instance methods of
+   * this class have been inferred.
+   */
+  bool _hasInferredInstanceMethods = false;
+
+  /**
    * A flag indicating whether the types associated with the instance members of
    * this class have been inferred.
    */
@@ -651,6 +657,18 @@ class ClassElementImpl extends AbstractClassElementImpl
     _hasBeenInferred = hasBeenInferred;
   }
 
+  bool get hasInferredInstanceMethods {
+    if (_unlinkedClass != null) {
+      return context.analysisOptions.strongMode;
+    }
+    return _hasInferredInstanceMethods;
+  }
+
+  void set hasInferredInstanceMethods(bool done) {
+    _assertNotResynthesized(_unlinkedClass);
+    _hasInferredInstanceMethods = done;
+  }
+
   @override
   bool get hasNonFinalField {
     List<ClassElement> classesToVisit = new List<ClassElement>();