Test and fix a few more corner cases of summarizing type inference.

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

 // Copyright (c) 2015, 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.
 
 library summary_resynthesizer;
 
 import 'dart:collection';
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/element/element.dart';
@@ skipping 1675 matching lines @@
           element, name, typeArguments, typeArguments.isNotEmpty);
     } else if (element is FunctionTypedElement &&
         implicitFunctionTypeIndices != null) {
       FunctionTypedElementComputer computer = () {
         FunctionTypedElement element = this.element;
         for (int index in implicitFunctionTypeIndices) {
           element = element.parameters[index].type.element;
         }
         return element;
       };
-      return new DeferredFunctionTypeImpl(
-          computer, null, typeArguments, typeArguments.isNotEmpty);
+      // TODO(paulberry): Is it a bug that we have to pass `false` for
+      // isInstantiated?
+      return new DeferredFunctionTypeImpl(computer, null, typeArguments, false);
     } else {
       return null;
     }
   }
 }