Infer types of instance methods before any other inference.

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

 // Copyright (c) 2016, 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 library is capable of producing linked summaries from unlinked
  * ones (or prelinked ones).  It functions by building a miniature
  * element model to represent the contents of the summaries, and then
  * scanning the element model to gather linked information and adding
  * it to the summary data structures.
@@ skipping 336 matching lines @@
     with ReferenceableElementForLink
     implements AbstractClassElementImpl {
   Map<String, ReferenceableElementForLink> _containedNames;
 
   @override
   final CompilationUnitElementForLink enclosingElement;
 
   /// TODO(brianwilkerson) This appears to be unused and might be removable.
   bool hasBeenInferred;
 
+  bool hasInferredInstanceMethods = false;
+
   ClassElementForLink(CompilationUnitElementForLink enclosingElement)
       : enclosingElement = enclosingElement,
         hasBeenInferred = !enclosingElement.isInBuildUnit;
 
   @override
   List<PropertyAccessorElementForLink> get accessors;
 
   @override
   ClassElementForLink get asClass => this;
 
@@ skipping 913 matching lines @@
     throw new StateError(
         'Linker tried to access linked type from current build unit');
   }
 
   /**
    * Perform type inference and const cycle detection on this
    * compilation unit.
    */
   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);
       }
     }
     for (ClassElementForLink classElement in types) {
       classElement.link(this);
     }
   }
 
   /**
@@ skipping 3835 matching lines @@
    * there are no type parameters in scope.
    */
   TypeParameterizedElementMixin get _typeParameterContext;
 
   @override
   noSuchMethod(Invocation invocation) => super.noSuchMethod(invocation);
 
   @override
   String toString() => '$enclosingElement.$name';
 }