Infer types of instance methods before any other inference.

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

Index: pkg/analyzer/lib/src/summary/link.dart
diff --git a/pkg/analyzer/lib/src/summary/link.dart b/pkg/analyzer/lib/src/summary/link.dart
index a43bc65dd11b97f840e38139a04eea73c4794aab..3563ac721eb4899d1c4a4736c7642d3eeaa27a0f 100644
--- a/pkg/analyzer/lib/src/summary/link.dart
+++ b/pkg/analyzer/lib/src/summary/link.dart
@@ -354,6 +354,8 @@ abstract class ClassElementForLink extends Object
   /// TODO(brianwilkerson) This appears to be unused and might be removable.
   bool hasBeenInferred;
 
+  bool hasInferredInstanceMethods = false;
+
   ClassElementForLink(CompilationUnitElementForLink enclosingElement)
       : enclosingElement = enclosingElement,
         hasBeenInferred = !enclosingElement.isInBuildUnit;
@@ -1287,9 +1289,11 @@ class CompilationUnitElementInBuildUnit extends CompilationUnitElementForLink {
    */
   void link() {
     if (library._linker.strongMode) {
-      new InstanceMemberInferrer(enclosingElement._linker.typeProvider,
-              enclosingElement.inheritanceManager)
-          .inferCompilationUnit(this);
+      var inferrer = new InstanceMemberInferrer(
+          enclosingElement._linker.typeProvider,
+          enclosingElement.inheritanceManager);
+      inferrer.inferInstanceMethods(this);
+      inferrer.inferCompilationUnit(this);
       for (TopLevelVariableElementForLink variable in topLevelVariables) {
         variable.link(this);
       }